Microsoft's GitHub: Now open-source developers get 'one linter to rule them all'

GitHub says it's open-sourcing its in-house linting tool, the GitHub Super Linter, to clean up code.