From 87afce1dee1ec0bfb38e6948d1061712d27a8fcc Mon Sep 17 00:00:00 2001
From: bones_was_here <bones_was_here@xonotic.au>
Date: Tue, 11 Feb 2025 05:59:00 +1000
Subject: [PATCH] ./all: after pruning stale refs also garbage collect the repo

---
 misc/tools/all/git.subr | 1 +
 1 file changed, 1 insertion(+)

diff --git a/misc/tools/all/git.subr b/misc/tools/all/git.subr
index 88aefa28..5a843157 100644
--- 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
-- 
2.39.5