Is there a world in which GitHub used an open protocol for the social network part of their product like BlueSky's AT protocol[0]?
I believe Gitea has support for it, not sure to what extent.
Originally the plan was to PR the federation support to Gitea as well. I'm not sure if this is still the case, considering the rising tensions between the two projects and the fact that Forgejo is now a hard fork.
https://forgejo.org/faq/#is-there-a-roadmap-for-forgejo
I only use my Forgejo instance for myself currently so I haven't looked at the ActivityPub features of it before.