"We ensure high code quality by a thorough review process using the pull request interface on GitHub." [already introduced "the GitHub platform" earlier.]