aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcommit4
1 files changed, 4 insertions, 0 deletions
diff --git a/commit b/commit
index 0bf2b18..ed72995 100755
--- a/commit
+++ b/commit
@@ -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