code: public void push(CollectorRegistry registry, String job, Map<String, String> groupingKey) throws IOException {
      doRequest(registry, job, groupingKey, "PUT");
    }
docs: Pushes all metrics in a registry, replacing all those with the same job and grouping key.
  <p>
  This uses the PUT HTTP method.