[MLton] past and future of mlton.org

Adam Goode adam at spicenitz.org
Tue Mar 2 12:49:36 PST 2010


Moving to Google Code sounds like a great idea. I can tell you that
Fedora's interpretation of MLton's license is "MIT", so that is
compatible with code hosting.

I also think it would be a great chance to migrate to Mercurial.


Adam


On 03/02/2010 01:07 PM, Matthew Fluet wrote:
> As some may have noticed or inferred, there was an issue with
> mlton.org (website, mailing lists, SVN, etc.) over the weekend.  The
> long and short of it is that there was some kind of disk problem with
> the mlton.org hosting service, but they were able to restore the
> virtual private server (VPS) without any data loss and all services
> appear to be functioning normally.
> 
> Nonetheless, it provided the opportunity to consider and to experiment
> with alternative hosting solutions.  Stephen was able to put together
> a Google Groups for mlton.org that could host mlton at mlton.org and
> mlton-user at mlton.org and also a Google Sites for mlton.org that could
> host www.mlton.org, and for a short time over the weekend had DNS
> configured to point there.  Below is the thread of discussion about
> moving the mlton.org services to an alternative hosting solution.
> 
> I think that Stephen's argument is correct: administering a VPS is a
> significant overhead, and it holds things back because no one has the
> time to do the admin right.  (And, even if someone had the time to do
> the admin at the present time, they may not in the future.)  The big
> advantage of hosting under Google (or Sourceforge, or ...) is that the
> admin is amortized over all hosted projects, to the point where
> individual project developers need not concern themselves with the
> admin.  Switching to a DVCS was mentioned on the mailing list a few
> months ago; its something to consider again, since a major drawback to
> switching was the up-front admin of setting up a different VCS.
> 
> Thoughts?
> 
> ---------- Forwarded message ----------
> From: Stephen Weeks <sweeks at sweeks.com>
> Date: Sun, 28 Feb 2010 12:17:53 -0500
> Subject: [MLton] mlton.org is OK
> 
> The hosting company is bringing the server back online right now.  No data
> loss.
> 
> 
> ---------- Forwarded message ----------
> From: Stephen Weeks <sweeks at sweeks.com>
> Date: Sun, 28 Feb 2010 12:37:29 -0500
> Subject: [MLton] mlton.org is back online
> 
> I've changed the DNS settings for mlton.org, www.mlton.org, and
> svn.mlton.org to point back at the VPS, 69.55.226.86.
> 
> If your DNS has got the stale IP, you can check the web site at
> 
>  http://69.55.226.86/
> 
> It looks fine to me.
> 
> I haven't pointed the mail server back to the VPS yet, because I think it
> might be an opportune time to switch over to the google groups stuff that I
> set up.  It has a lot of advantages (easier management, better reliability,
> better archiving) and no real disadvantages that I can see (other than old
> messages aren't in the same archive, but maybe that could even be fixed).
> 
> In general, I'd like to get out of administering my own VPS, which I think
> wastes time and holds things back (because no one has time to do the admin
> right).  I've already done it for nameserver and mail.  I think it could be
> worth it in the long run to switch the MLton wiki over to google sites too.
> But that obviously takes some work.
> 
> The only other service that I can think of that mlton.org provides is the
> SVN repo (and web interface).  It would be cool if we could move that to a
> reasonable turn-key hosted solution too.  We might also consider upgrading
> to a more modern version control system.  I'm a big fan of hg, having used
> it for a couple of years now.
> 
> Anyways, I'll defer to the wishes of the group, but my feeling is that
> moving away from the VPS and toward a more group-managed and hosted solution
> seems better.
> 
> The only immediate decision that needs to be made is whether to migrate the
> mail to google groups (basically, invite all the old members to join), or
> change the mail handling back to the VPS.
> 
> 
> ---------- Forwarded message ----------
> From: Henry Cejtin <henry.cejtin at sbcglobal.net>
> Date: Sun, 28 Feb 2010 15:12:09 -0800 (PST)
> Subject: Re: [MLton] mlton.org is back online
> 
> Excellent  news  about  the MLton data still being around.  I completely
> agree that lots of the stuff (like google groups)  makes  sense  in  the
> generic  cloud  (although  I  think  that  backups of the mail, wiki and
> repository  are  worth  doing  at  various  local  machines   just   for
> diversifying the risk).
> 
> I have never used mercurial (A.K.A. hg?) but I have certainly heard good
> things about it.  What are the advantages over SVN?
> 
> 
> ---------- Forwarded message ----------
> From: Stephen Weeks <sweeks at sweeks.com>
> Date: Sun, 28 Feb 2010 19:51:44 -0500
> Subject: Re: [MLton] mlton.org is back online
> 
> One advantage is that all repositories are created equal -- there's nothing
> special about the central repository, other than the convention that that's
> where all patches end up eventually.  Using this fact, one can set up
> arbitrary workflows and easily work outside the central repository.  E.g.
> when mlton.org was down for a few days, people could still commit and share
> patches with each other.
> 
> Also, it's trivial to install and maintain repositories.
> 
> On Sun, Feb 28, 2010 at 6:12 PM, Henry Cejtin <henry.cejtin at sbcglobal.net>wrote:
>> Excellent  news  about  the MLton data still being around.  I completely
>> agree that lots of the stuff (like google groups)  makes  sense  in  the
>> generic  cloud  (although  I  think  that  backups of the mail, wiki and
>> repository  are  worth  doing  at  various  local  machines   just   for
>> diversifying the risk).
> 
>> I have never used mercurial (A.K.A. hg?) but I have certainly heard good
>> things about it.  What are the advantages over SVN?
> 
> 
> ---------- Forwarded message ----------
> From: Matthew Fluet <matthew.fluet at gmail.com>
> Date: Sun, 28 Feb 2010 23:24:21 -0500
> Subject: Re: [MLton] mlton.org is back online
> 
> On Sun, Feb 28, 2010 at 12:37 PM, Stephen Weeks <sweeks at sweeks.com> wrote:
>> I haven't pointed the mail server back to the VPS yet, because I think it
>> might be an opportune time to switch over to the google groups stuff that I
>> set up.  It has a lot of advantages (easier management, better reliability,
>> better archiving) and no real disadvantages that I can see (other than old
>> messages aren't in the same archive, but maybe that could even be fixed).
> 
> It looks like importing mailing list archives is an oft-requested, but
> unsupported feature of GoogleGroups.  Exporting would be another issue
> (if one wanted to take the Google Group archive somewhere else),
> though could probably be done with sufficient web-scraping (messages
> have a "Show Original" link, so one could accumulate all the raw
> text).
> 
>> In general, I'd like to get out of administering my own VPS, which I think
>> wastes time and holds things back (because no one has time to do the admin
>> right).
> 
> Agreed.
> 
>> I've already done it for nameserver and mail.  I think it could be
>> worth it in the long run to switch the MLton wiki over to google sites too.
>> But that obviously takes some work.
> 
>> The only other service that I can think of that mlton.org provides is the
>> SVN repo (and web interface).  It would be cool if we could move that to a
>> reasonable turn-key hosted solution too.  We might also consider upgrading
>> to a more modern version control system.
> 
> One option is to go with Google Code's project hosting.
> 
> Some advantages:
> * SVN or Mercurial for project code
>  * web interface (google custom, not ViewCVS)
> * Project wiki with a subset of MoinMoin markup (would make copying
> existing wiki relatively easy)
> * Integrated issue tracker
> 
> Some disadvantages:
> * Possible code license issue; Google Code requires choosing one of a
> small number of open source licenses, including MIT License and New
> BSD License
> * Project membership iff code access and wiki access; i.e., no
> fine-grain permissions.  [Probably not a major issue; few wiki edits
> from non developers.]
> * Project wiki loses some of our useful MoinMoin extensions (links to
> SVN revisions/files, (good) SML code formatting, SML code pulled from
> SVN, ...)
> * Dispersal of URLs: mlton.org for mailing lists, mlton.org for one
> site, mlton.googlecode.com/ for source repository,
> code.google.com/p/mlton for project wiki, issue tracker, etc.
> 
> I suspect that the similar sets of pros/cons would arise from any
> hosting service.  SourceForge, for which MLton still has a project
> presence, would be another logical choice.  Since we left, they do
> support a variety of features:
> * CVS/SVN/Git/Mercurial/Bazzar
> * MediaWiki
> * Mailman mailing lists  (Did we import mail into the SourceForge mailing list?)
> * VHOST
> 
>>  I'm a big fan of hg, having used
>> it for a couple of years now.
> 
> I've been using Git a little bit, enough to see some of the advantages
> of a DVCS, but not enough to argue it over other systems.
> 
>> Anyways, I'll defer to the wishes of the group, but my feeling is that
>> moving away from the VPS and toward a more group-managed and hosted solution
>> seems better.
> 
> Agreed.
> 
>> The only immediate decision that needs to be made is whether to migrate the
>> mail to google groups (basically, invite all the old members to join), or
>> change the mail handling back to the VPS.
> 
> I'd vote to change the mail handling back to the VPS for the short
> term, and then do a single switch of everything.
> 
> 
> ---------- Forwarded message ----------
> From: Stephen Weeks <sweeks at sweeks.com>
> Date: Mon, Mar 1, 2010 at 10:23 PM
> Subject: Re: [MLton] mlton.org is back online
> 
>> * Dispersal of URLs: mlton.org for mailing lists, mlton.org for one
>> site, mlton.googlecode.com/ for source repository,
>> code.google.com/p/mlton for project wiki, issue tracker, etc.
> 
> 
> This one isn't so bad.  We can make XXX.mlton.org aliases.
> 
>>> The only immediate decision that needs to be made is whether to migrate the
>>> mail to google groups (basically, invite all the old members to join), or
>>> change the mail handling back to the VPS.
>>
>> I'd vote to change the mail handling back to the VPS for the short
>> term, and then do a single switch of everything.
> 
> All right.  I switch the MX record back to mlton.org.  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.
> 
> _______________________________________________
> MLton mailing list
> MLton at mlton.org
> http://mlton.org/mailman/listinfo/mlton


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 261 bytes
Desc: OpenPGP digital signature
Url : http://mlton.org/pipermail/mlton/attachments/20100302/e1eca37a/signature.pgp


More information about the MLton mailing list