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