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 )
- [ ] Remove from `mediawiki/extensions` ( along with in `.gitmodules`)
- [ ] Remove tests in `integration/config` ( `zuul/layout.yaml` )
- [ ] Remove from `translatewiki` ( `groups/MediaWiki/mediawiki-extensions.txt` )
- [ ] Empty repository and add a OBSOLETE 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
- [ ] 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