This task is complete when the "JADE" repository (at the all-caps) name is archived, pointing to the new name.
|Open||None||T212435 Review real-world query plans and performance for Jade|
|Open||None||T183381 Deploy Jade extension to production|
|Resolved||Reedy||T211046 Rename "JADE" extension to "Jade"|
|Resolved||None||T221437 Archive "JADE" extension repository|
It is not archived @Harej :] We need to mark it read-only!
I have renamed the group https://gerrit.wikimedia.org/r/#/admin/groups/1435,info
https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/JADE is now read only and its description is prefixed with [ARCHIVED].
All pending patches have been abandoned https://gerrit.wikimedia.org/r/#/q/project:+mediawiki/extensions/JADE
This is not done until it has been removed from make-wmf-branch. I don't know the status of JADE so I don't know what the consequences are of renaming it in terms of localization updates for new branch deployments. I, unfortunately, discovered this in the middle of cutting a branch and consequently don't have the cycles to look more deeply at this space. Release-Engineering-Team can look at this this coming week.
I am unarchiving the repo for the time being so that I can get the branch cut for 1.34.0-wmf.3 done. I am also reopening this task.