chiark / gitweb /
finish support and docs for DGIT_SSH etc. config