Merge branch 'master' of github.com:Chizi123/Scripts

Joel Grunbaum

2021-08-24 40f5e4e11932669aeb0838612fea9bebd5c5182c

1
2
3
4
5
6
7
8
9
#!/bin/bash
 
GIT_DIRECTORY=/Eduardo/git
 
for d in $GIT_DIRECTORY/*; do
    if grep -q "mirror = true" $d/config; then
    git -C "$d" remote update --prune
    fi
done