#!/bin/sh
set -e
dispatchdir=/srv/dgit.debian.org/dispatch-dir
exec $dispatchdir/distro=debian/dgit-live/infra/ssh-dispatch $dispatchdir