chiark / gitweb /
No longer tolerate a multitude of .changes files when doing push.