Updated to excludes file

Joel Grunbaum

2021-08-24 d6e801a44971f9e6ee6d1282b3ae0912e0033ba3

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
    fi
done