Add simple retry for push on master.

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