From: R. Steve McKown Date: Fri, 28 Sep 2012 20:38:04 +0000 (-0600) Subject: git-push-public: report on notfound repo X-Git-Url: https://oss.titaniummirror.com/gitweb?p=deploy-utils.git;a=commitdiff_plain;h=HEAD git-push-public: report on notfound repo --- 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