chiark / gitweb /
When receiving a push with dgit-repos-server, update the server's refs/heads/master...
[dgit.git] / infra / ssh-wrap
1 #!/bin/sh
2 set -e
3 umask 002
4
5 srvdir=/srv/dgit.debian.org
6 dispatchdir=$srvdir/dispatch-dir
7 dgitlive=$srvdir/dgit-live
8
9 PERLLIB="$dgitlive${PERLLIB+:}${PERLLIB}" \
10 exec $dgitlive/infra/dgit-ssh-dispatch $dispatchdir