mirror of https://github.com/Chizi123/Scripts.git
view | history | commit | commitdiff
Joel Grunbaum
2021-07-27 42a36d0938727cc94d085a898f3ac85207dde2d3
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
851c5e 6     if grep -q "mirror = true" $d/config; then
JG 7     git -C "$d" remote update --prune
3413cf 8     fi
JG 9 done