| commit | 627707ac188f4be581dcdad224055d6bd92014f6 | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Thu May 09 14:30:04 2019 +0100 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Fri May 10 08:52:51 2019 +0000 |
| tree | b01d89fa38e07483f79055dc87b8a7a01706d427 | |
| parent | 6d58538dd1ae158efef7518c215a7fde77883360 [diff] |
Stop building plugin-manager for Gerrit >= v3.0 plugin-manager is a core-plugin from v3.0 onwards. It does not need to be built anymore as a separate project. Builds for any version <= v2.16 will stay on Gerrit-CI. Change-Id: If2194f2536f362da4faf31957163c5b8e0ee5fad
diff --git a/jenkins/gerrit-buck-bazel-plugin-plugin-manager.yaml b/jenkins/gerrit-buck-bazel-plugin-plugin-manager.yaml index 5e46c05..d8cf449 100644 --- a/jenkins/gerrit-buck-bazel-plugin-plugin-manager.yaml +++ b/jenkins/gerrit-buck-bazel-plugin-plugin-manager.yaml
@@ -10,9 +10,3 @@ - stable-2.16 - stable-2.15 - stable-2.14 - - 'plugin-{name}-bazel-{branch}-{gerrit-branch}': - branch: - - master - gerrit-branch: - - master - - stable-3.0