git-mirror-update.sh
@@ -1,10 +1,9 @@ #!/bin/bash #GIT_DIRECTORY=/Eduardo/git GIT_DIRECTORY=/home/joel/Downloads/temp GIT_DIRECTORY=/Eduardo/git for d in $GIT_DIRECTORY/*; do if ! grep -q "mirror = true" $d/config; then git -C $d remote update if grep -q "mirror = true" $d/config; then git -C "$d" remote update --prune fi done