diff options
Diffstat (limited to 'git_cleaner.sh')
| -rwxr-xr-x | git_cleaner.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git_cleaner.sh b/git_cleaner.sh index fb69436..9c521be 100755 --- a/git_cleaner.sh +++ b/git_cleaner.sh @@ -11,7 +11,7 @@ popd () { command popd "$@" > /dev/null } -for repo in $(find $BASE -type d -name "*.git"); +for repo in $(find $BASE -type d -name "*.git" | grep -v /people/); do pushd $repo # the gc.log is a copy of the stderr created by a backgrounded |