chiark / gitweb /
Strip jarrg- from tag names