commit 1193c165774cb767cc5bd45abeef22901c95318b
author Luca Milanesio <luca.milanesio@gmail.com> Mon Mar 09 16:13:15 2020 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> Mon Mar 09 16:13:18 2020 +0000
tree 6ae43088a50043d3021533fee7085e4c21f299db
parent 582222ddaa5c13b4ba2d821cbb3fea92ccc0755e

Build pull-replication plugin on stable-3.1/master

Gerrit v3.1 and master need different versions of the pull-replication
plugin.

Change-Id: I401bb1277706807c5353fee331479bf5e2058f4f

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 68581c1..cd371a6 100644
--- a/jenkins/gerrit-bazel-plugin-pull-replication.yaml
+++ b/jenkins/gerrit-bazel-plugin-pull-replication.yaml
@@ -1,9 +1,7 @@
 - project:
     name: pull-replication
     jobs:
-      - 'plugin-{name}-bazel-{branch}-{gerrit-branch}':
+      - 'plugin-{name}-bazel-{branch}':
           branch:
             - master
-          gerrit-branch:
-            - master
             - stable-3.1