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