diff options
-rwxr-xr-x | commit | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -159,6 +159,10 @@ if [ ! -z "$1" ]; then git_user git_commit $* git_push + + # Avoid ssh lockfile issues by sleeping a bit + sleep 0.5 + $GIT fetch --all fi fi |