diff options
author | Arnstein Ressem <aressem@yahoo-inc.com> | 2017-09-11 14:23:33 +0200 |
---|---|---|
committer | Arnstein Ressem <aressem@yahoo-inc.com> | 2017-09-11 14:23:33 +0200 |
commit | d417a06ac157ea604442f6ddc8b599affe714d04 (patch) | |
tree | 6063d9627f64f0264120904a1a6b695660a461ae | |
parent | 5f6fb2f02a995fc1aafdb28e82560a96e6cfb948 (diff) |
Actually delete the branch.
-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 |