<div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">* Dispersal of URLs: <a href="http://mlton.org" target="_blank">mlton.org</a> for mailing lists, <a href="http://mlton.org" target="_blank">mlton.org</a> for one<br>
site, <a href="http://mlton.googlecode.com/" target="_blank">mlton.googlecode.com/</a> for source repository,<br>
<a href="http://code.google.com/p/mlton" target="_blank">code.google.com/p/mlton</a> for project wiki, issue tracker, etc.<br></blockquote><div class="im"><br>This one isn't so bad. We can make <a href="http://XXX.mlton.org">XXX.mlton.org</a> aliases. <br>
<br>
> The only immediate decision that needs to be made is whether to migrate the<br>
> mail to google groups (basically, invite all the old members to join), or<br>
> change the mail handling back to the VPS.<br>
<br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">I'd vote to change the mail handling back to the VPS for the short<br>
term, and then do a single switch of everything.<br></blockquote><div><br>All right. I switch the MX record back to <a href="http://mlton.org">mlton.org</a>. It might take up to a week for some things to catch up. I await further discussion and a consensus from the group, at which point I will update the DNS as appropriate. <br>
</div></div>