chiark / gitweb /
~ianmdlvl / dgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d4ad0e2)
infra/ssh-wrap: New example script
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Nov 2014 21:51:28 +0000 (21:51 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Nov 2014 22:22:21 +0000 (22:22 +0000)
infra/ssh-wrap [new file with mode: 0755] patch | blob

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
Unnamed repository; edit this file 'description' to name the repository.