2 ms·
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 review
by judge2020 5y ago
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 https://GitHub.com/torvalds/Linux
- deleted 5y ago[deleted]
- jeroenhd 5y agoNot the parent, but I'd still much rather see such a bot for Gitlab or Gitea which are (mostly) open source and provide similar developer conveniences. I suppose they made this change because Microsoft still hosts the Linux kernel for free on their platform and that's probably the main mirror people clone it from. Still, making proprietary patchwork for such an opinionated open source project seems a little silly to me.
- yjftsjthsd-h 5y agoIdeally, wouldn't we want a bot for every such platform? One for github... but also for gitlab, and gitea, and bitbucket, and sourcehut, etc.
- silly-silly 5y ago> that's probably the main mirror people clone it from. I very much doubt this is true.