Sure, but that's not the issue I'm addressing here. If a project insists on github no matter what, and github gets blocked, and the project keeps insisting on github, obviously that's a problem. Nobody is denying that. It's obvious.

My point is to underscore the point of the ancestor of this thread: that you (the project) don't need github. You can use all the strength of git without github.