git-prune: prune redundant packs

Signed-off-by: Junio C Hamano <junkio@cox.net>

diff --git a/git-prune.sh b/git-prune.sh
index ef31bd2a6824104ba401bffbe41ecd50a81780e9..aa798073136b3512215f51fec5709e551d38ad30 100755 (executable)
--- a/git-prune.sh
+++ b/git-prune.sh
@@ -27,3 +27,14 @@ sed -ne '/unreachable /{
 }
 
 git-prune-packed $dryrun
+
+redundant=$(git-pack-redundant --all)
+if test "" != "$redundant"
+then
+       if test "" = $dryrun
+       then
+               echo "$redundant" | xargs rm -f
+       else
+               echo rm -f "$redundant"
+       fi
+fi