unneeded inversion

Joel Grunbaum

2021-07-13 851c5e8ba8e65aafcfd6d03bc4883149424404ce

 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