mirror of https://github.com/Chizi123/Scripts.git
view | history | commit | commitdiff
Joel Grunbaum
2021-08-24 40f5e4e11932669aeb0838612fea9bebd5c5182c
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