Re: Issue with SVN server

Matthew> I'm not sure that this is an issue with the MLton SVN repository
Matthew> per-se, or just network issues with sourceforge.net.

I have successufully imported other svn projects from sourceforge.net, most
recently PolyML.  But I agree it is hard to pin down blame.  Maybe the
large size of the mlton repo plays a role.

Matthew> I've also cloned the new SVN repository from sourceforge.net via rsync
Matthew> (see https://sourceforge.net/apps/trac/sourceforge/wiki/Subversion#Backups)
Matthew> and performed a "git svn clone" from that (now local) SVN repository,
Matthew> without any errors.

That's what I ended up doing as a workaround, thanks.  I hope I'll be
able to update my tree incrementally with git svn fetch from
sourceforge.  If that breaks I'll report back.

-- 
Ian Zimmerman
gpg public key: 1024D/C6FF61AD
fingerprint: 66DC D68F 5C1B 4D71 2EE5  BD03 8A00 786C C6FF 61AD
http://www.gravatar.com/avatar/c66875cda51109f76c6312f4d4743d1e.png
Rule 420: All persons more than eight miles high to leave the court.

------------------------------------------------------------------------------
Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and 
threat landscape has changed and how IT managers can respond. Discussions 
will include endpoint security, mobile security and the latest in malware 
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/