aboutsummaryrefslogtreecommitdiff
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
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
-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