3 years ago · f7dd20a6cf
parent db9a2da02b
commit f7dd20a6cf
1 changed files with 10 additions and 5 deletions
--- a/github_mirror_repos_to_bitbucket.sh
+++ b/github_mirror_repos_to_bitbucket.sh
@ -170,11 +170,16 @@ for repo in $repos; do
        die "Repo '$repo' should be specified without owner prefix"
    fi
    if ! mirror_repo "$repo"; then
-        echo >&2
-        timestamp "ERROR: Failed to mirror repo '$repo' to BitBucket" >&2
-        failed_repos+=" $repo"
-        echo >&2
-        ((failed+=1))
+        popd >/dev/null
+        timestamp "Mirroring failed, clearing cache and trying again"
+        rm -fr "$tmpdir/$repo.git"
+        if ! mirror_repo "$repo"; then
+            echo >&2
+            timestamp "ERROR: Failed to mirror repo '$repo' to BitBucket" >&2
+            failed_repos+=" $repo"
+            echo >&2
+            ((failed+=1))
+        fi
    fi
 done