Function prometheus::push_add_metrics

pub fn push_add_metrics(job: &str, grouping: HashMap<String, String>, url: &str, mfs: Vec<MetricFamily>) -> Result<()>

push_add_metrics works like push_metrics, but only previously pushed metrics with the same name (and the same job and other grouping labels) will be replaced. (It uses HTTP method 'POST' to push to the Pushgateway.)