Host wiki on github

[agoode]

With the SourceForge outage taking out mlton.org, the web-based wiki is inaccessible. It would be nice to have at least mlton.github.io set up during this time, pointing to the asciidoc files in the repository. mlton.org could also be reworked to use github for serving the wiki.

[ramLlama]

I second this suggestion. If it's not too hard, it would be a great idea to
use mlton.github.io as a mirror for the original site.
On Jul 21, 2015 8:53 AM, "Adam Goode" [email protected] wrote:

With the SourceForge outage taking out mlton.org, the web-based wiki is
inaccessible. It would be nice to have at least mlton.github.io set up
during this time, pointing to the asciidoc files in the repository.
mlton.org could also be reworked to use github for serving the wiki.

—
Reply to this email directly or view it on GitHub
#114.

[MatthewFluet]

Good ideas. It wouldn't be very hard to mirror/serve the "wiki" portion of mlton.org from mlton.github.io. I'm not sure about pushing the mailing list archives, though.