chiark / gitweb /
infra: Drop support for old tag name on server side