diff options
author | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2017-05-31 18:35:04 +0000 |
---|---|---|
committer | Maxim Kuvyrkov <maxim.kuvyrkov@linaro.org> | 2017-05-31 18:35:04 +0000 |
commit | fcf3fd360ca7da82f94822603f9812b50d656e31 (patch) | |
tree | 3ac05c492a06377767cae8896411b68d1a75f0ed | |
parent | 7206f37c21fd8d7408f841e82b3d1857d0e429a9 (diff) |
jenkins-helpers.sh: Also fetch gerrit changesets in clone_or_update_repo.
Change-Id: Ie4a331135ddc06e917ca0aee0fb584e09424489f
-rw-r--r-- | jenkins-helpers.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh index 43ea64dc..44ec611e 100644 --- a/jenkins-helpers.sh +++ b/jenkins-helpers.sh @@ -163,6 +163,7 @@ clone_or_update_repo () # Update from URL. git remote set-url origin "$url" git remote update -p + git fetch -q origin "refs/changes/*:refs/changes/*" # Checkout git reset --hard |