GitHub: Now our built-in bug checker gets these third-party code-scanning tools

GitHub users can now customize the Microsoft platform's code-checking feature with third-party scanning tools.