diff options
author | Jon Marius Venstad <jonmv@users.noreply.github.com> | 2017-09-12 09:51:20 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-12 09:51:20 +0200 |
commit | 5e0d303742508029088cdcc615821b34a8c31944 (patch) | |
tree | 30555c134f034933d6121a595eb54ffc7b17eb73 /dist | |
parent | 8b5994123459a7b4033944f965dd16d4b942ffdd (diff) | |
parent | d417a06ac157ea604442f6ddc8b599affe714d04 (diff) |
Merge pull request #3383 from vespa-engine/aressem/delete-the-rpmbuild-branch
Actually delete the branch.
Diffstat (limited to 'dist')
-rwxr-xr-x | dist/release-vespa-rpm.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/release-vespa-rpm.sh b/dist/release-vespa-rpm.sh index d5f969b34dc..95c0b5ce902 100755 --- a/dist/release-vespa-rpm.sh +++ b/dist/release-vespa-rpm.sh @@ -18,7 +18,7 @@ git checkout master git pull --rebase # Delete existing branch if exists and create new one -git push --delete origin &> /dev/null || true +git push --delete origin $RPM_BRANCH &> /dev/null || true git branch -D $RPM_BRANCH &> /dev/null || true git checkout -b $RPM_BRANCH $GITREF |