From 17a8fba93c8a6dbae3b81019aff39ab45f8d03d0 Mon Sep 17 00:00:00 2001
From: "R. Steve McKown" <rsmckown@gmail.com>
Date: Fri, 28 Sep 2012 14:38:04 -0600
Subject: [PATCH] git-push-public: report on notfound repo

---
 git-push-public | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/git-push-public b/git-push-public
index 39a8904..d8c606a 100755
--- a/git-push-public
+++ b/git-push-public
@@ -42,8 +42,10 @@ if [ -n "$repos" ]; then
 	    repo="${repo/\/git-daemon-export-ok/}"
 	    repo="${repo/.\//}"
 	    push_repo $repo
+	elif [ ! -d "$repo" ]; then
+	    echo "-- notfound $repo"
 	else
-	    echo "-- skipping private repo $repo"
+	    echo "-- skipping private $repo"
 	fi
     done
 else
-- 
2.39.2