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

Joel Grunbaum
2021-07-27 42a36d0938727cc94d085a898f3ac85207dde2d3
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