Re: Issue with SVN server

Matthew Fluet <[email protected]> Mon, 23 Apr 2012 08:37:37 -0400
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAMrhFL7GHDOLdOKYXrejcWSURTLzk6cbfhRLcOMStHZTWpCFDg@mail.gmail.com>
On Fri, Apr 20, 2012 at 12:38 PM, Ian Zimmerman <[email protected]> wrote:
> Please see
>
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=669586
>
> thanks

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

I can say that I exported from the old SVN repository with "svnadmin
dump" and imported to the new SVN repository with "svnadmin load", and
there were not any errors with any of the revisions.

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

------------------------------------------------------------------------------
For Developers, A Lot Can Happen In A Second.
Boundary is the first to Know...and Tell You.
Monitor Your Applications in Ultra-Fine Resolution. Try it FREE!
http://p.sf.net/sfu/Boundary-d2dvs2