It seems the work that was put into spring-legacy for autoconfiguration of Prometheus Pushgateway was not ported to the spring-boot 2.x code. It would be great to have it there too, as one sometimes need the push-gateway (e.g. for batch-jobs).
Also see https://stackoverflow.com/questions/49779684/how-to-export-metrics-to-prometheus-via-pushgateway-using-spring-boot-2-0
Should it be added to the micrometer codebase or to spring-boot 2.x?