Convert all wiki pages, and their page edits ("revisions") into a git repository

[renoirb]

Objective is to migrate all content into static files, preserving author, and file changes history into a Git repository.

With that, we’ll be able to set in place conversion filter (e.g. convert Wikitext into minimal HTML and Markdown?) so we could use a static site generator to make the site as a static site.

Expected deliverables

• Successful run of all history into git
• Handle corner cases Ensure pages with redirects gets deleted from the repository and that a Git symbolic link is created #1 and Ensure there is no filesystem naming collisions for folders #2
• Publish into https://github.com/webplatform/docs git repo

[renoirb]

It works and history makes sense!

Achievement unlocked.

1. We have full history into Git
2. We can review each commit, who did it, and when
3. A diff within two changes in MediaWiki has the same outcome as a diff made from exported history

[renoirb]

Almost there!

[renoirb]

Published to https://github.com/webplatform/docs !