Actually, this is probably not needed. (I may close this task later)
This task has been migrated to GitLab.