chiark / gitweb /
Use origin/HEAD as the default checkout for git