How GitHub uses linters

Developer Tooling