Build high-availability plugin for Gerrit v3.0

Change-Id: I533cb6200d2ce1e7f90ce7278e49ad7536656133
1 file changed
tree: fc102175c376d73047a77682bf799a5c285fb43c
  1. jenkins/
  2. jenkins-docker/
  3. worker/
  4. .gitignore