mirror of https://github.com/Chizi123/Scripts.git
parent: ea9da2c3 | patch | commit | show whitespace
Joel Grunbaum
2021-07-27 42a36d0938727cc94d085a898f3ac85207dde2d3 
Merge branch 'master' of github.com:Chizi123/Scripts
1 files added
9 ■■■■■ changed files
git-mirror-update.sh 9 ●●●●● patch | view | raw | blame | history 
 git-mirror-update.sh


New file


@@ -0,0 +1,9 @@


#!/bin/bash




GIT_DIRECTORY=/Eduardo/git




for d in $GIT_DIRECTORY/*; do


    if grep -q "mirror = true" $d/config; then


    git -C "$d" remote update --prune


    fi


done