Infra: Provide dgit clone-dgit-repos-server

[dgit.git] / infra / dgit-ssh-dispatch

diff --git a/infra/dgit-ssh-dispatch b/infra/dgit-ssh-dispatch
index e1fc241250a997d04eed57b584454bd615c032c6..377f8b81d6786ba706ea73e75e0ac2aa6c3043d2 100755 (executable)
--- a/infra/dgit-ssh-dispatch
+++ b/infra/dgit-ssh-dispatch
@@ -139,6 +139,14 @@ sub dispatch () {
        } else {
            die "unsupported git operation $cmd ($_)";
        }
+    } elsif (
+ m#^${qre}git-upload-pack ${qre}/dgit/($lre)/(?:repos/)?_dgit-repos-server\.git${qre}$#
+       ) {
+       my $distro= $1;
+       serve_up("$dispatchdir/distro=$1/dgit-live/.git");
+    } elsif (m#^${qre}git-upload-pack\s#) {
+       die "unknown repo to serve ($_).  use dgit, or for server source ".
+           "git clone here:/dgit/DISTRO/repos/_dgit-repos-server.git";
     } else {
        die "unsupported operation ($_)";
     }