moving to SourceForge

[Stephen Weeks]

> One point is that I think that the cost of switching URLs is a bit
> higher than you think.

Maybe.  We'll see how long before the new site is on top at Google.  I
say less than three months.

> The main effect of that on me is that I think that if you want to
> switch, sooner is better than later.

I agree, which is why I am postponing the release until we decide.

> I guess that having all the pages at Sourcelight forwarding to the
> equivalent some where else wouldn't be too bad

At least the home page.  I see that the forwarding at 

	http://www.nj.nec.com/PLS/MLton/

still works.  Anyways, today I registered mlton.org and plan to point
it at wherever mlton lives, and change all the docs and urls to point
to mlton.org.

> Hm, interesting.  I guess if it really is a pain, another
> alternative would be to keep it here and do nightly uploads to
> Sourceforge (of the entire CVS). 

Blech.

> Clearly I am not a fair person in this since I don't care about the
> extra stuff that Sourceforge provides, and I can do any thing at
> Sourcelight.com

Exactly.  :-)

> I thought that the GNU version was going to switch to one of the
> more modern replacements of CVS, that let you move stuff around and
> are less of a load and compress more, etc.  Maybe that is still a
> bit futuristic

I played around some with http://savannah.gnu.org today.  I didn't see
anything about replacing CVS.  They are based on an older version of
the SourceForge software.  Their functionality seems to be a subset of
SourceForge and their documentation is worse.  Also, their human
support is definitely worse than SourceForge.  I registered the MLton
project today and have still not received a reply.  Compare to
SourceForge, where I registered the project, set up my ssh keys, the
CVS, mailing lists etc all yesterday afternoon.  Finally, as I
mentioned yesterday, Savannah has 50x fewer projects than SourceForge,
so is less stable.  I am also worried by the appearance of plans for
substantial changes.  I don't see any reason to prefer Savannah over
SourceForge.


Unless we hear anything damning from Suresh, I think that sometime
tomorrow, we should freeze our CVS and do the switch to SourceForge.
The only downside that I have been convinced of is its potential
disappearance, and I don't think that would be too painful (especially
with CVS backups and mlton.org redirection)