chiark / gitweb /
do not use git-show-ref as it is hopeless; just do it ourselves