chiark / gitweb /
dgit-repos-server: Remove obsolete duplicate settings of some ENVs for stunt hook
[dgit.git] / infra / ssh-wrap
1 #!/bin/sh
2 set -e
3 dispatchdir=/srv/dgit.debian.org/dispatch-dir
4 exec $dispatchdir/distro=debian/dgit-live/infra/ssh-dispatch $dispatchdir