mirror of https://github.com/Chizi123/Scripts.git
parent: a8576712 | patch | commit | ignore whitespace
Joel Grunbaum
2021-07-13 851c5e8ba8e65aafcfd6d03bc4883149424404ce 
unneeded inversion
1 files modified
4 ■■■■■ changed files
git-mirror-update.sh 4 ●●●●● patch | view | raw | blame | history 
 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