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 Just make sure that the Github TOS haven't changed, or you could be giving them our only means for decentralization. Better use another server, just in case.