| commit | 9393ca801e3fa9486ee1bb78751a847a087201ae | [log] [tgz] |
|---|---|---|
| author | Luca Milanesio <luca.milanesio@gmail.com> | Sat Dec 28 01:02:39 2019 +0000 |
| committer | Luca Milanesio <luca.milanesio@gmail.com> | Sat Dec 28 10:55:52 2019 +0000 |
| tree | 49918331670df64d9a60b6c1ef6e83598a06faac | |
| parent | 9394dc73413bf9473023196268a0b1a1965c2600 [diff] |
Fetch tags explicitly for owners plugin Change-Id: Ia4d8be8b196eb6a63ea30f31f59f0f849ece9e21
diff --git a/jenkins/gerrit-bazel-build-owners-plugin-branch.sh b/jenkins/gerrit-bazel-build-owners-plugin-branch.sh index 4fa705f..d2a0230 100644 --- a/jenkins/gerrit-bazel-build-owners-plugin-branch.sh +++ b/jenkins/gerrit-bazel-build-owners-plugin-branch.sh
@@ -2,6 +2,7 @@ git checkout -f gerrit/{gerrit-branch} git read-tree -u --prefix=plugins/{name}-plugin origin/{branch} +git fetch --tags origin ln -s plugins/{name}-plugin/owners-common . pushd plugins && ln -s owners-plugin/{{owners,owners-autoassign}} . && popd
diff --git a/jenkins/gerrit-bazel-build-owners-plugin.sh b/jenkins/gerrit-bazel-build-owners-plugin.sh index bcc0215..dfb4694 100644 --- a/jenkins/gerrit-bazel-build-owners-plugin.sh +++ b/jenkins/gerrit-bazel-build-owners-plugin.sh
@@ -2,6 +2,7 @@ git checkout -f gerrit/{branch} git read-tree -u --prefix=plugins/{name}-plugin origin/{branch} +git fetch --tags origin ln -s plugins/{name}-plugin/owners-common . pushd plugins && ln -s owners-plugin/{{owners,owners-autoassign}} . && popd