chiark / gitweb /
support git@gitlab.com: style URLs in servergitmirrors