Documentation for PushGateway and prometheus-client

[the-vj]

Spring Boot documentation:

https://docs.spring.io/spring-boot/reference/actuator/metrics.html#actuator.metrics.export.prometheus

indicates that Prometheus Pushgateway is only possible with the now deprecated simpleclient library.

While this was true in the early releases of the "go forward" Prometheus client library, pushgateway support was introduced in the 1.3.0 release:

https://github.com/prometheus/client_java/releases/tag/v1.3.0

An update of the documentation would be therefore beneficial, as this might have been forgotten.

Additionally, simpleclient dependency still seems to exist in springboot internals ...

[the-vj]

this might be a duplicate of #44392 - if so, sorry, only found out now.

funny how for such an old issue, suddenly two people notice and raise it just a few days apart.

[wilkinsona]

Yeah, this is a duplicate of #44392.