diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-20 16:12:12 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-06-20 16:12:38 +0100 |
commit | f7d222ee9782806cd05d7a82595c142096c3bd04 (patch) | |
tree | 47d80a382301e74417296712f0b6821e3188c189 /infra | |
parent | edb1f92ab38d37b03452ca65e5b8394e512fffe8 (diff) |
Infra: Provide dgit clone-dgit-repos-server
Diffstat (limited to 'infra')
-rwxr-xr-x | infra/dgit-ssh-dispatch | 8 |
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 ($_)"; } |