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 /dist | |
| parent | 5f6fb2f02a995fc1aafdb28e82560a96e6cfb948 (diff) | |
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 |