chiark / gitweb /
Add `: dgit <blah>... ;' to the front of ssh remote commands, for the benefit of...