Does anyone know if there is another federated version of GitLab/GitHub? That’s something I wouldn’t absolutely switch to.