X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=blobdiff_plain;f=infra%2Fdgit-ssh-dispatch;h=9c023d80859fecd63cbc6ca64dfc925818bfc473;hp=6d4efbff655d61d0b746f96d00cb540266677ff0;hb=5a453a69bd237e3921a6db60f675bdaefb741014;hpb=68ace2786dc26749014ea70a6ebb2b896b1f25d1

diff --git a/infra/dgit-ssh-dispatch b/infra/dgit-ssh-dispatch
index 6d4efbff..9c023d80 100755
--- a/infra/dgit-ssh-dispatch
+++ b/infra/dgit-ssh-dispatch
@@ -32,6 +32,7 @@ our $qre = '["'."']?";
 # diverts should be list of
 #  <pat> [<divert-to>]
 # where <pat> is a package name pattern which may contain * or literals.
+# <divert-to> is for `git config dgit-distro.DISTRO.diverts.<divert-to>'
 
 our ($distro,$pkg, $d);
 our ($dgitlive,$repos,$suites,$diverts,$policyhook,$repo);
@@ -118,7 +119,7 @@ sub serve_up ($) {
 }
 
 sub dispatch () {
-    local ($_) = $ENV{'SSH_ORIGINAL_COMMAND'};
+    local ($_) = $ENV{'SSH_ORIGINAL_COMMAND'} // '';
 
     if (m#^: dgit ($lre) git-check ($lre) ;#) {
 	selectpackage $1,$2, sub { prl "divert @_"; finish; };