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).
+ Cleanups:
+ * Remove an obsolete comment.
+
+ --
dgit (0.30) unstable; urgency=high