Comment by 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.