Merge branch 'master'

diff --git a/git-prune.sh b/git-prune.sh
index ef31bd2a6824104ba401bffbe41ecd50a81780e9..c4de7f5f250b647065c97dabbb234216f5c8c718 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