aboutsummaryrefslogtreecommitdiff
path: root/git_cleaner.sh
diff options
context:
space:
mode:
authorKelley Spoon <kelley.spoon@linaro.org>2018-10-22 02:05:50 -0500
committerKelley Spoon <kelley.spoon@linaro.org>2018-10-22 02:05:50 -0500
commit9dadb1ffb5ee0359fd0e2d0a55232d7d1ff9fc6d (patch)
treeaa82f8c1270dc4461114b843c00dfe1ce8f54e8a /git_cleaner.sh
parentd0817a97086e058c5feb1243386b8b968803fe53 (diff)
downloadlinaro-git-tools-9dadb1ffb5ee0359fd0e2d0a55232d7d1ff9fc6d.tar.gz
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
Diffstat (limited to 'git_cleaner.sh')
-rwxr-xr-xgit_cleaner.sh2
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