Mediawiki github sync

[SamirSaidani]

I propose enhancing the existing software to function as a GitHub Actions workflow, facilitating the direct conversion of MediaWiki pages to GitHub-flavored Markdown within a GitHub repository. This integration aims to simplify the migration process, providing users with an automated solution for maintaining synchronized documentation between MediaWiki and GitHub repositories.

[allcreatures]

Interesting thought. There would be some work to get there as the script doesn't fail too gracefully. You're welcome to write up a PR for it.