update mirrored repos

Joel Grunbaum

2021-07-13 3413cfb34e2f7ac770c4823b08fbc4d942ae62f7

update mirrored repos

 git-mirror-update.sh

New file
@@ -0,0 +1,10 @@
#!/bin/bash

#GIT_DIRECTORY=/Eduardo/git
GIT_DIRECTORY=/home/joel/Downloads/temp

for d in $GIT_DIRECTORY/*; do
    if ! grep -q "mirror = true" $d/config; then
    git -C $d remote update
    fi
done