Add metrics-reporter-prometheus plugin

Change-Id: I33126abce40657621b7586d20b6b886c1f764105
1 file changed
tree: e92fbba3ca070cee76accc259471be29d558131a
  1. jenkins/
  2. jenkins-docker/
  3. .gitignore