diff options
| -rw-r--r-- | include/git.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/include/git.sh b/include/git.sh index 0de4c931..ba58a5ba 100644 --- a/include/git.sh +++ b/include/git.sh @@ -103,7 +103,8 @@ tmpclone() repodir="repo/${1##*/}" x_ mkdir -p "repo" if [ -d "$repodir" ]; then - git -C "$repodir" pull || : + git -C "$repodir" pull || sleep 3 || git -C "$repodir" pull \ + || sleep 3 || git -C "$repodir" pull : else git clone $1 "$repodir" || git clone $2 "$repodir" || \ $err "!clone $1 $2 $repodir $4 $5" |