Comment Comment by judge2020 It’s not transitioning entirely to GitHub, but is “ a bot that can turn a GitHub pull request (PR) into a well-formed patch series to send to the proper reviewers and mailing lists”.Also, Linux is already mirrored to GH https://GitHub.com/torvalds/Linux parent judge2020 5 years ago
Also, Linux is already mirrored to GH https://GitHub.com/torvalds/Linux