I filed a report on https://www.mediawiki.org/wiki/Gerrit/New_repositories/Requests to move math-related repositories to Gerrit as @Pchelolo, who was recently doing code review for those repos, did not have access to the respective repos, despite global +3.
I think it would be good to keep the original repo names on GitHub since Google found about 100 hard links to texvcjs in the wild alone. As I, myself will be able to find the things I am looking for despite broken links, I would appreciate if one could spend extra effort to keep the old links intact. However, this is no conditio sine qua non to me.
|Currrent location||New gerrit repo||Mirrored to|
- Import in Gerrit
- Setup CI https://wikitech.wikimedia.org/wiki/PipelineLib/Guides
- Set Gerrit permissions, see T249908#6097444 below.