Oh yeah, I don’t expect GitHub to give up their user base. But if there’s a credible alternative hub-like way to gather around projects then people can choose to us an alternative system when it suits them. Especially useful in cases where they’re working on riskier projects. I don’t know microsoft/github’s history of censoring repositories, but I’d rather bitcoin’s source code not be dependent on their choices.