chiark / gitweb /
lint: also catch gitlab master links