chiark / gitweb /
Make listing branches more efficient