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

Joel Grunbaum

2021-07-27 42a36d0938727cc94d085a898f3ac85207dde2d3

 git-mirror-update.sh

New file
@@ -0,0 +1,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