PostEdit is part of core since 1.22, no need for own repo:
- [x] Archive documentation on `mediawiki.org` ( https://www.mediawiki.org/wiki/Extension:PostEdit )
- [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.
- [x] Archive Phabricator project #mediawiki-extensions-postedit for associated extension
- [x] Edit Phabricator project #mediawiki-extensions-postedit description for associated extension with a link to this ticket
- [ ] Archive the extension's diffusion repository: rEPOS
- [x] Mark the repository read-only in Gerrit: https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/PostEdit
- [ ] Delete the GitHub mirror: https://github.com/wikimedia/mediawiki-extensions-PostEdit