A web interface for ghlint (a linter for GitHub projects).