From de9ece4735679385412b8d8417f00bf0378cb4c8 Mon Sep 17 00:00:00 2001
From: Sitaram Chamarty <sitaram@atc.tcs.com>
Date: Tue, 4 Oct 2011 15:01:47 +0530
Subject: [PATCH] (minor) error message clarity in mirror-push

---
 src/gl-mirror-push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/gl-mirror-push b/src/gl-mirror-push
index 2ae9c80..addbd96 100755
--- a/src/gl-mirror-push
+++ b/src/gl-mirror-push
@@ -32,7 +32,7 @@ gmm=`git config --get gitolite.mirror.master`
 
 # is it local? (remember, empty/undef ==> local
 gmm=${gmm:-local}
-[ "$gmm" = "local" ] && exit
+[ "$gmm" = "local" ] && die sorry but "$repo" is local
 
 # is it a slave?
 [ "$hn" = "$gmm" ] || die fatal: wrong master.  Try $gmm...