mirror of https://github.com/Chizi123/Scripts.git
view | history | commit | commitdiff
Joel Grunbaum
2021-08-24 d6e801a44971f9e6ee6d1282b3ae0912e0033ba3
commit | author | age
3413cf 1 #!/bin/bash
JG 2
a85767 3 GIT_DIRECTORY=/Eduardo/git
3413cf 4
JG 5 for d in $GIT_DIRECTORY/*; do
6     if ! grep -q "mirror = true" $d/config; then
7     git -C $d remote update
8     fi
9 done