Comment (by Roland Haas):

@Steven R. Brandt would you mind providing me with such a XML dumb. The required commands are shown on https://github.com/peterjc/mediawiki_to_git_md#user-content-mediawiki-export-to-xml

One could also use pandoc for the mediawiki to markdown conversion though one likely has to handle attachments etc. manually in that case.

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2256/transfer-et-wiki-from-mediawiki-to