From b020f3b152b14c52cd814dbf111fe4d464fde1b0 Mon Sep 17 00:00:00 2001
From: Rudolf Polzer <divverent@alientrap.org>
Date: Sat, 25 Sep 2010 11:06:44 +0200
Subject: [PATCH] also remote prune origin when using --reclone

---
 all | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/all b/all
index 365ef686..26c43f2e 100755
--- a/all
+++ b/all
@@ -950,6 +950,7 @@ case "$cmd" in
 				if $gotomaster; then
 					if $fetchupstream; then
 						verbose git fetch origin
+						verbose git remote prune origin
 					fi
 					verbose git checkout -f "`repobranch "$d"`"
 					verbose git reset --hard origin/"`repobranch "$d"`"
@@ -961,6 +962,7 @@ case "$cmd" in
 					upstream="$rem/${bra#refs/heads/}"
 					if $fetchupstream; then
 						verbose git fetch "$rem"
+						verbose git remote prune "$rem"
 					fi
 					if ! git rev-parse "$upstream" >/dev/null 2>&1; then
 						upstream="origin/`repobranch "$d"`"
-- 
2.39.2