@MarkAHershberger is still maintaining the MagicNumberedHeadings extension and wants to have it unarchived.
See https://www.mediawiki.org/w/index.php?title=Gerrit/New_repositories/Requests/Entries&diff=4069571&oldid=4068952 -- [x] Add content to repository
Here's whats been done so far:
-- [x] Add to content again (Change-Id: [[https://gerrit.wikimedia.org/r/c/mediawiki/extensions/MagicNumberedHeadings/+/623919|I1e04a7da2aa66b9979aa809a6c498f7bc71f8dad]])
-- [x] Unmark the repository as read-only in Gerrit (also edit description to remove "[ARCHIVED]"): ( https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/MagicNumberedHeadings).
-- [x] Unarchive the Diffusion repository for the extension/skin: rEMNH
-- [x] Recreate the GitHub mirror: https://github.com/wikimedia/mediawiki-extensions-MagicNumberedHeadings
-- [x] Setup CI https://gerrit.wikimedia.org/r/c/integration/config/+/623922