There are a few steps for migrating a repository to gitlab. In addition we want to add the gitlab uri to diffusion.
Some scripts already exist, such as
- https://gitlab.wikimedia.org/repos/releng/gerrit-gitlab-archiver
- https://gerrit.wikimedia.org/r/plugins/gitiles/integration/config/+/refs/heads/master/utils/archive-repo.py
Let's make one script that includes the work we have already done and updates the repo uri in diffusion.