According to what @ahf, @gk and i talked today, we would like to use the gitlab git as the canonical repo and then we can remove the git repo at git.tpo