chiark / gitweb /
server: report errors pushing to git mirrors