git-push-public: report on notfound repo

diff --git a/git-push-public b/git-push-public
index 39a89049c6a3057c1f9f287538544230cb8d540a..d8c606ac83f8b9462de554a1619063a268fb6c6a 100755 (executable)
--- 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