Pushgateway is part of the official prometheus ecosystem.
I wish to push a multi-labeled metric into Prometheus using the Pushgateway. The documentation offer a curl example but I …