@@ -60,7 +60,7 @@ find "$@" \( -name .git -o -name '*.git' \) -type d | \ do if [[ $remote == mirror ]]; then echo git push: $repo_dir -- $remote - GIT_DIR="$repo_dir" git push --mirror $remote + GIT_DIR="$repo_dir" git push -f --mirror $remote fi done git-find-fetch ccafe37b3b16f0f5fc443b93094d6f674e1f6d18 John Wiegley johnw@newartisans.com http://github.com/jwiegley/git-scripts/commit/a3c37f8d6d6c1471de4709e53a1280e9ba85208e a3c37f8d6d6c1471de4709e53a1280e9ba85208e 2008-09-07T22:11:35-07:00 2008-09-07T22:11:35-07:00 Use the -f option when pushing with --mirror. 45c873bb91f14f3d749d2f91290f476637ca9720 John Wiegley johnw@newartisans.com