That was already done when I noticed the creation of the random repos.
This task has been migrated to GitLab.