chiark / gitweb /
dgit: rpush protocol: Actually select version 5 !