infra/ssh-wrap: New example script

[dgit.git] / infra / ssh-wrap

diff --git a/infra/ssh-wrap b/infra/ssh-wrap
new file mode 100755 (executable)
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