Merge "Clean non-bare remote repos"

This commit is contained in:
Zuul
2019-09-17 17:47:02 +00:00
committed by Gerrit Code Review

View File

@@ -29,6 +29,8 @@
shell: |
# Reset is needed because we pushed to a non-bare repo
git reset --hard
# Clean is needed because we pushed to a non-bare repo
git clean -xdf
# Undo the config setting we did above
git config --local --unset receive.denyCurrentBranch
# checkout the branch matching the branch set up by the executor