pimps output

lkwg82 · May 26, 2024 · 8372394 · 8372394
1 parent 95298a6
commit 8372394
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/tools/git.sh b/tools/git.sh
@@ -86,11 +86,18 @@ function git_maintenance() {
 	   exit 1
 	fi
 
+	echo "-------------------------------"
+	echo " git maintenance for $PWD"
 	du -sh
+	echo "--^^ before ... running ..."
 
 	git maintenance run --task=gc
 	git maintenance run --task=pack-refs
 	git maintenance run --task=loose-objects
 
+	echo "--  after ..."
 	du -sh
+	echo "-------------------------------"
+	echo 
 }
+export -f git_maintenance