diff --git a/trunk/scripts/git.commit.sh b/trunk/scripts/git.commit.sh index 2ad3a83ea..ca85d80fb 100755 --- a/trunk/scripts/git.commit.sh +++ b/trunk/scripts/git.commit.sh @@ -43,6 +43,7 @@ function sync_push() git push $* ret=$?; if [[ 0 -ne $ret ]]; then failed_msg "Retry for failed: $*" + sleep 3 continue else ok_msg "Success: $*"