prometheus_push_gateway_php

prometheus_push_gateway_php copied to clipboard

how to config url prefix?

1

Our pushgateway endpoint is something like `a.b.c.d:1234/foo/bar/metrics/job/` So how to add the /foo/bar prefix ?

caibirdme

Signed-off-by: Lukas Kämmerling

LKaemmerling

Was introduced in the latest release https://github.com/prometheus/pushgateway/releases/tag/v1.4.0

LKaemmerling

Updates typehints based on expected values

1

This started out as just updating the typehints on the PushGateway class to reflect what `$groupingKey` actually represents, but quickly I had to make some adjustments to allow things to...

gms8994