diff options
Diffstat (limited to 'dist')
-rwxr-xr-x | dist/release-vespa-rpm.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/dist/release-vespa-rpm.sh b/dist/release-vespa-rpm.sh index d2384c21b4e..dbd5565729c 100755 --- a/dist/release-vespa-rpm.sh +++ b/dist/release-vespa-rpm.sh @@ -22,7 +22,12 @@ git pull --rebase # Update the VERSION file on master to be the next releasable version echo "$VERSION" | awk -F. '{print $1"."($2+1)".0"}' > VERSION git commit -am "Updating VERSION file to next releasable minor version." -git push +for i in 1 2 3; do + if git push; then + break; + fi + git pull --rebase +done # Delete existing branch if exists and create new one git push --delete origin $RPM_BRANCH &> /dev/null || true |