chiark / gitweb /
dgit-repos-server: Check that no args follow --ssh