From 5f728bed4311e87a7dd520b2f6e68be675961384 Mon Sep 17 00:00:00 2001
From: David Celis <me@davidcel.is>
Date: Tue, 23 Nov 2021 11:24:52 -0800
Subject: [PATCH] Update messaging in git-sync

---
 local/bin/git-sync | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/local/bin/git-sync b/local/bin/git-sync
index 7493c97..773b992 100755
--- a/local/bin/git-sync
+++ b/local/bin/git-sync
@@ -128,7 +128,7 @@ git branch --list | \
         git branch -D "$local_branch" >/dev/null
         echo "${RED}Deleted branch ${LIGHT_RED}${local_branch}${RESET} (was ${local_sha:0:7})."
       else
-        echo "warning: \`$local_branch' was deleted on $ORIGIN, but appears not merged into $MASTER" >&2
+        echo "warning: \`$local_branch' is neither present on $ORIGIN nor merged into $MASTER. Have you pushed it yet?" >&2
       fi
     fi
   done
-- 
2.51.2