By all means, #movingtogitlab-dot-com does not solve the problem GitHub has (centralization), and moving to a privately hosted GitLab re-introduces the problem GitHub mostly solved (separation).
#GitPub is trying to solve this problem by defining a federation protocol for git services: https://github.com/git-federation/gitpub
GitPub: An extension to ActivityPub for web-based Git services federation https://github.com/git-federation/gitpub
Bobinas P4G is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.
All Bobinas P4G content and data are available under the Creative Commons Attribution 3.0 license.