chiark / gitweb /
server: include gitlab raw URLs as git mirrors