code: public void pushAdd(CollectorRegistry registry, String job) throws IOException {
      doRequest(registry, job, null, "POST");
    }
docs: Pushes all metrics in a registry, replacing only previously pushed metrics of the same name and job and no grouping key.
  <p>
  This uses the POST HTTP method.