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 https://github.com/MLton/mlton/issues/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.