commit 5c182c0d30d68ecf437b4615e520acdfa1fb9f58
author Luca Milanesio <luca.milanesio@gmail.com> Thu May 07 12:35:53 2020 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> Thu May 07 11:57:29 2020 +0000
tree 91e8c3f0f27cb98c041444bbcb3be012e5121e48
parent 7233a337cef10826e4f7cadbc895773f349e4821

Build pull-replication plugin for Gerrit v3.2

Change-Id: Ia2fc99c5e5f6b2d504f3505f85183400a807ff0e

jenkins/gerrit-bazel-plugin-pull-replication.yaml

diff --git a/jenkins/gerrit-bazel-plugin-pull-replication.yaml b/jenkins/gerrit-bazel-plugin-pull-replication.yaml
index cd371a6..8a8152a 100644
--- a/jenkins/gerrit-bazel-plugin-pull-replication.yaml
+++ b/jenkins/gerrit-bazel-plugin-pull-replication.yaml
@@ -1,6 +1,11 @@
 - project:
     name: pull-replication
     jobs:
+      - 'plugin-{name}-bazel-{branch}-{gerrit-branch}':
+          branch:
+            - master
+          gerrit-branch:
+            - stable-3.2
       - 'plugin-{name}-bazel-{branch}':
           branch:
             - master