Hi. How about that change? It will remove all the old stale branches that noone needs for ports, and ensure old and stale data gets garbage collected. It could be improved in that the newest two remain, instead of only the one that is configured in the according /etc/ports entry, but that is for developers only, and i would expect these have their own full tree laying around locally. diff --git a/git/git b/git/git index 654a8c770..51193dd2c 100644 --- a/git/git +++ b/git/git @@ -39,8 +39,15 @@ if [ $? -lt 1 ]; then git diff --pretty=format: --name-status "$BRANCH" origin/"$BRANCH" | sed "s/M\t/ Edit /g; s/A\t/ Checkout /g; s/D\t/ Delete /g" | sort git clean -q -f git reset -q --hard origin/"$BRANCH" + i=`git branch | sed -e '/^*/d'` + if [ -n "$i" ]; then + git branch -q -d $i + i=--aggressive + fi + git gc --quiet $i --prune=all else - git clone -q -b "$BRANCH" "$URL" "$REPOSITORY" + git clone -q --single-branch -b "$BRANCH" "$URL" "$REPOSITORY" + git gc --quiet --aggressive --prune=all ls -1 $REPOSITORY | sed "s/^/ Checkout /" fi --steffen | |Der Kragenbaer, The moon bear, |der holt sich munter he cheerfully and one by one |einen nach dem anderen runter wa.ks himself off |(By Robert Gernhardt)