mirror of https://github.com/Chizi123/Scripts.git

Joel Grunbaum
2021-08-31 5ce9b0c04ee5b5e9dc5b2ae9b99a70a4857ae666
git-mirror-update.sh
old mode 100644 new mode 100755
@@ -3,7 +3,7 @@
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