RevealEmail was marked as archived on mediawiki.org [ https://www.mediawiki.org/w/index.php?title=Extension:RevealEmail&diff=2512502&oldid=2512501 ]:
- [x] Archive documentation on `mediawiki.org` ( https://www.mediawiki.org/wiki/Extension:RevealEmail )
- [x] Remove from `mediawiki/extensions` ( along with in `.gitmodules`)
- [x] Remove tests in `integration/config` ( `zuul/layout.yaml` )
- [x] Remove from `translatewiki` ( `groups/MediaWiki/mediawiki-extensions.txt` )
- [x] Empty repository and add a ARCHIVED file.
- [ ] Archive the extension's diffusion repository: rERVE
- [x] Mark the repository read-only in Gerrit: https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/RevealEmail
- [ ] Delete the GitHub mirror: https://github.com/wikimedia/mediawiki-extensions-RevealEmail