Change Details

It would be nice to move the git hosting to gitlab.wikimedia.org where there are more tools (better discoverability) and a lot of flexibility for CI experiments.

It would be nice to move the git hosting to gitlab.wikimedia.org where there are more tools (better discoverability) and a lot of flexibility for CI experiments. https://www.mediawiki.org/wiki/GitLab/Hosting_a_project_on_GitLab#Migrating_a_project

It would be nice to move the git hosting to gitlab.wikimedia.org where there are more tools (better discoverability) and a lot of flexibility for CI experiments. https://www.mediawiki.org/wiki/GitLab/Hosting_a_project_on_GitLab#Migrating_a_project