git-push-public: report on notfound repo

[deploy-utils.git] / git-push-public

diff --git a/git-push-public b/git-push-public
index 4b57b9783f355e317ae95184d6ba6e195c214d03..d8c606ac83f8b9462de554a1619063a268fb6c6a 100755 (executable)
--- a/git-push-public
+++ b/git-push-public
@@ -23,6 +23,7 @@ push_repo()
     fi
     echo "-- syncing $repo"
     git --git-dir=$repo push --mirror $PUBLICSERVER:$PUBLICBASE/$repo
+    rsync -a $repo/description $PUBLICSERVER:$PUBLICBASE/$repo/description
 }
 
 ## MAIN ##
@@ -41,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