diff options
author | Kelley Spoon <kelley.spoon@linaro.org> | 2018-10-22 02:05:50 -0500 |
---|---|---|
committer | Kelley Spoon <kelley.spoon@linaro.org> | 2018-10-22 02:05:50 -0500 |
commit | 9dadb1ffb5ee0359fd0e2d0a55232d7d1ff9fc6d (patch) | |
tree | aa82f8c1270dc4461114b843c00dfe1ce8f54e8a | |
parent | d0817a97086e058c5feb1243386b8b968803fe53 (diff) |
git_cleaner: Skip the people repositories
Skip user repos since they are not as likely to have
loose objects due to frequent mirroring pushes and
because the sheer number of repos to check extends the
execution time of the script beyond 48 hours.
Change-Id: Ifb1d66dde80d897bb091cb0aeaf560c78fbe15f5
-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 |