From a0e309ae13592c3b140c791d8f65c2edadbce220 Mon Sep 17 00:00:00 2001
From: Rudolf Polzer <divverent@alientrap.org>
Date: Wed, 28 Apr 2010 16:30:51 +0200
Subject: [PATCH 1/1] try to handle the case if the branch has been remotely
 deleted in "push"

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

diff --git a/all b/all
index 729cce22..09292ee0 100755
--- a/all
+++ b/all
@@ -331,7 +331,7 @@ case "$cmd" in
 				fi
 			fi
 			rem=`git config "branch.$r.remote" || echo origin`
-			if git log "$rem/$r".."$r" | grep .; then
+			if { git log "$rem/$r".."$r" || git log origin/master.."$r"; } | grep .; then
 				a=
 				while [ x"$a" != x"y" -a x"$a" != x"n" ]; do
 					echo "Push \"$r\" in $dv?"
-- 
2.39.2