aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xcommit2
1 files changed, 1 insertions, 1 deletions
diff --git a/commit b/commit
index ed72995..fe2ade6 100755
--- a/commit
+++ b/commit
@@ -161,7 +161,7 @@ if [ ! -z "$1" ]; then
git_push
# Avoid ssh lockfile issues by sleeping a bit
- sleep 0.5
+ sleep 1
$GIT fetch --all
fi