chiark / gitweb /
server: change type of checkn