diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2018-11-13 21:10:31 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2018-11-13 21:10:31 -0200 |
| commit | 108ff345f746fa65deb9daf234d793e8251a59de (patch) | |
| tree | de48cb04c626cec05bceb9f0f5e196a9a9577a18 | |
| parent | 068a857b6e5fcb52855ef8baea6b2830047e306a (diff) | |
| download | utils-git-108ff345f746fa65deb9daf234d793e8251a59de.tar.gz utils-git-108ff345f746fa65deb9daf234d793e8251a59de.tar.bz2 | |
Commit: avoid ssh lockfile issues by sleeping a bit
| -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 |