# chiark's configuration for the userv git daemon.
#
# This was written by Tony Finch <dot@dotat.at>
# You may do anything with it, at your own risk.
# http://creativecommons.org/publicdomain/zero/1.0/

if ($host eq 'git.chiark.greenend.org.uk') {
    if ($path =~ m{^~([^/]*)/(.*)}) {
        $user = $1;
        $dir = '.userv/public-git';
        $repo = $2;
    } else {
        $user = 'webmaster';
        $dir = '/u2/git-repos';
        $repo = $path;
    }
} elsif ($server_addr eq '172.31.80.8' and
         $host eq 'cabal.greenend.org.uk' and
	 $path =~ m|^~([^/]*)/(.*)$|) {
    $user = $1;
    $dir = 'cabal-git';
    $repo = $2;
} elsif ($host eq 'dotat.at') {
    $user = 'fanf';
    $dir = 'public-git';
    $repo = $path;
}

# end