https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/extensions/PreferencesMaster/ was created 24 months ago and is empty.
https://www.mediawiki.org/wiki/Gerrit/New_repositories/Requests/Archive/2017 lists @tosfos as the requester.
https://www.mediawiki.org/wiki/Extension:PreferencesMaster does not exist (anymore).
@tosfos: What is the plan here?
- Remove tests in integration/config (zuul/layout.yaml).
- 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): (https://gerrit.wikimedia.org/r/admin/repos/mediawiki/extensions/PreferencesMaster).
- Archive the Diffusion repository for the extension/skin: (rEPMA extension-PreferencesMaster).
- Delete the GitHub mirror: (https://github.com/wikimedia/mediawiki-extensions-PreferencesMaster).