Infra: Provide dgit clone-dgit-repos-server

1 files changed, 8 insertions, 0 deletions

diff --git a/infra/dgit-ssh-dispatch b/infra/dgit-ssh-dispatch
index e1fc241..377f8b8 100755
--- 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 ($_)";
     }