winlin

sleep when git commit failed.

@@ -43,6 +43,7 @@ function sync_push() @@ -43,6 +43,7 @@ function sync_push()
43 git push $* 43 git push $*
44 ret=$?; if [[ 0 -ne $ret ]]; then 44 ret=$?; if [[ 0 -ne $ret ]]; then
45 failed_msg "Retry for failed: $*" 45 failed_msg "Retry for failed: $*"
  46 + sleep 3
46 continue 47 continue
47 else 48 else
48 ok_msg "Success: $*" 49 ok_msg "Success: $*"