How GitHub uses linters

Linters