chiark / gitweb /
prune weird branches etc.