[mr_sturd]

The kernel is certainly mirrored on GitHub[0], but it's not the centre of development.

[0] - https://github.com/torvalds/linux

[dry_soup]

I'm aware of that mirror. What I'm talking about in my comment is that there was a time when the development of the Linux kernel actually moved to GitHub, due to problems with the regular Linux kernel development infrastructure.

[captn3m0]

Don’t remember Linux, but PHP moved development to GitHub after a security incident: https://news-web.php.net/php.internals/113838