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).
@jomo GitLab isn't entirely open source, though, they're still somewhat open core last I checked, no? I mean, yeah, on the spectrum of these things GitLab is definitely significantly better than GitHub. But it's good that major Free Software projects continue to often maintain their own infrastructure. Defining standards for decentralized interop layers is definitely the next step, very excited by the prospect of Git+ActivityPub :)