Build metrics-reporter-prometheus for Gerrit v2.16

Change-Id: Ia4b55cd96a2e78a4348fa859577c47eaf2d2ec9a
1 file changed
tree: 494b76b85241d65f7b37f5f0f03a8b91075f3257
  1. jenkins/
  2. jenkins-docker/
  3. worker/
  4. .gitignore