9 ms·No they still use GitHub, and there are plans to switch code reviews to use GitHub PRs as well.by trogdc 4y agoNo they still use GitHub, and there are plans to switch code reviews to use GitHub PRs as well.