They do a small hub yes, but it's mainly for self hosting, gitlab is more a dual system, but I get a lot of spam from them
There is also codeberg
gitea is working on federation too
I dont think github, owned by microsoft, are likely to give up their user base.
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.