chiark / gitweb /
Remove obselete comment about DMs not being able to push.