Build metrics plugins on Gerrit 2.15

Change-Id: I9797edde5f678f5374732937b772209324729048
3 files changed
tree: 1cd98fcca708ff48f0370da609c8144854a2dc10
  1. jenkins/
  2. jenkins-docker/
  3. .gitignore