mirror of https://github.com/Chizi123/Scripts.git
view | history | commit | commitdiff
Joel Grunbaum
2021-07-13 a857671265d7a70996311c9a106bc79a8b52b37c
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