[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