./all: after pruning stale refs also garbage collect the repo

diff --git a/misc/tools/all/git.subr b/misc/tools/all/git.subr
index 88aefa28e799ce9098d7beba4344889582d8072f..5a8431575cd2d3e3991242624bed10ac4526f9e5 100644 (file)
--- a/misc/tools/all/git.subr
+++ b/misc/tools/all/git.subr
@@ -659,6 +659,7 @@ case "$cmd" in
                                        checkself "$cmd" "$@"
                                        cd "$d0/$d"
                                        verbose git remote prune origin
+                                       verbose git gc
                                        cd "$d0"
                                fi
                        else