chiark / gitweb /
fix detection of topgit repo