Overriding custom metrics in pushgateway #5
Description
Currently, these lines stomp any custom metrics that have been put in the path, meaning that the user can not provide any extra metrics if they wish. I, for example, want to set an environment input, and a repo name input on my metrics.
Id request that, if the path is not "", "/", or "/metrics" for gatewaytype = prometheus it be assumed that the user is overriding the path manually, and that the path value should be unchanged.