search

MLton / mlton

The MLton repository
http://mlton.org
Other
943 stars 126 forks source link

Host wiki on github #114

Open agoode opened 9 years ago

agoode commented 9 years ago

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 commented 9 years ago

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" notifications@github.com 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 commented 9 years ago

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.