Infrastructure:
* Provide for mirroring git updates to a different server.
* Provide cgit-regen-config command for cgi-grnet-01.
+ * Make dgit-ssh-dispatch not spew (harmless) warnings if caller
+ tries for a shell session (ie SSH_ORIGINAL_COMMAND not set).
- -- Ian Jackson <ijackson@chiark.greenend.org.uk> Sat, 11 Jul 2015 14:30:19 +0100
+ --
dgit (0.30) unstable; urgency=high
}
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; };