Unfortunately. GitHub used to be so strongly against censorship that they preferred financing a week of expensive DDoS mitigation over removing a repository. Two years ago, maintainers of open-source projects wrote open letters to GitHub, and GitHub listened. Sadly the company has changed a lot since then.