Reason
Gerrit repository search/MjoLniR got moved to Gitlab ( https://gitlab.wikimedia.org/repos/search-platform/mjolnir ). It should be archived from Gerrit.
I guess code search needs to be adjusted as well?
To-do list
- This task
- Add maintainers of that extension/skin as subscribers to this task
- Add Phabricator project <#ProjectX> as a tag for this task, and remove MediaWiki-extensions-Other/Other-skins as appropriate.
- On-wiki documentation
-
Archive documentation on mediawiki.org (provide URL): replace page contents with {{Archived extension|last revision id before archiving|task=T######}} (for extensions)/{{Archived skin|last revision|task=T######}} (for skins); replace T###### with this task's number. -
If documentation page was translatable, remove <translate>, visit Special:PageTranslation, and click "remove from translation" (if you don't have the translation administrator right, ask a user who does). -
Update Wikidata item (provide URL) associated with documentation page- ~~ add statement Abandonware (Q281039) to instance of (P31) together with qualifier start time (P580) = the YYYY-MM-DD date that you decided to archive extension/skin (generally per edit history)~~
-
add qualifier end time (P582) = the YYYY-MM-DD (same date as above) to instance of (P31) = MediaWiki extension (Q6805426)/MediaWiki skin (Q21996535)
-
- Phabricator
-
Mark all Phabricator tasks for the extension/skin either Declined or Invalid. Add a comment pointing to this task when doing so for reference. -
Archive Phabricator project <#ProjectX> for the extension/skin. - ~~Edit Phabricator project <#ProjectX> description for the extension/skin with a link to this ticket.
-
- Translatewiki.net/translations~~
- ~~Remove from translatewiki.net (groups/MediaWiki/mediawiki-extensions.txt / groups/MediaWiki/mediawiki-skins.txt).
- Configuration/tests/integrations/etc.~~
- Remove tests in integration/config (zuul/layout.yaml).
-
Remove manifest/other references from mediawiki/vagrant if they exist. -
Remove from https://doc.wikimedia.org/cover-extensions/ if present (requires Continuous-Integration-Infrastructure shell user to delete directly from the server).
- Repositories
- Empty repository, leaving only the README indicating the repo is archived, and referring to this task by URL.
-
Remove from mediawiki/extensions / mediawiki/skins (along with in .gitmodules). - Mark the repository read-only in Gerrit (also edit description to prepend "[ARCHIVED]" and a reference to this task): (provide Gerrit Repository URL).
-
Archive the Diffusion repository- There is apparently no diffusion repository
- Delete the GitHub mirror.