Reason
Cergen has been phased out from production (T357750). @MoritzMuehlenhoff confirmed me yesterday we can archive the repo and drop it from CI.
To-do list
- This task
- Add maintainers of that extension/skin as subscribers to this task (if they have no apparent Phabricator account, notify them on-wiki or via email if possible and note it here).
-
Add Phabricator project <#ProjectX> as a tag for this task, and remove MediaWiki-extensions-Other/Other-skins as appropriate.
- On-wiki documentation
- N/A
- Phabricator
- N/A
- Translatewiki.net/translations
- N/A
- 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
-
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, remove all access lists and reparent on All-Archived-Projects): (provide Gerrit Repository URL).
- Deactivate the Diffusion repository: N/A
- Delete the GitHub mirror: https://github.com/wikimedia/cergen
-