I’m betting GitHub is not the only place that the code repo is mirrored. Sure, it might be there, but something tells me it’s on a bunch of people’s computers as well, for people who work on it, or have just forked the repository. And there’s probably even copies of it on other mirrors, such as Code Bird, etc. in private repositories.