diff options
| -rwxr-xr-x | infra/ssh-wrap | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/infra/ssh-wrap b/infra/ssh-wrap new file mode 100755 index 0000000..ad52709 --- /dev/null +++ b/infra/ssh-wrap @@ -0,0 +1,4 @@ +#!/bin/sh +set -e +dispatchdir=/srv/dgit.debian.org/dispatch-dir +exec $dispatchdir/distro=debian/dgit-live/infra/ssh-dispatch $dispatchdir |