From a870e86f2e720d051d480a8dd81bd502b04d0c41 Mon Sep 17 00:00:00 2001
From: Rudolf Polzer <rpolzer@grawp.(none)>
Date: Sun, 28 Mar 2010 20:55:16 +0200
Subject: [PATCH] auto-"git remote prune origin" when ./all update'ing

---
 all | 1 +
 1 file changed, 1 insertion(+)

diff --git a/all b/all
index d0d826cb..f164928c 100755
--- a/all
+++ b/all
@@ -56,6 +56,7 @@ case "$cmd" in
 						;;
 				esac
 				verbose git pull
+				verbose git remote prune origin
 				cd "$d0"
 			else
 				verbose git clone "$url" "$d0/$d"
-- 
2.39.2