[Mono-list] New anonymous subversion hostname

[Wade Berrier]

Hi,

svn.myrealbox.com is changing to a new hostname:

anonsvn.mono-project.com

There is a simple way to migrate existing svn repositories to use the
new hostname.  At least it worked for me.

cd <repo path>
find . -name entries | xargs sed -i \
s/svn.myrealbox.com/anonsvn.mono-project.com/

Before running this command, make backups of changes to this repository,
don't hold me responsible for deleting your whole drive or corrupting
your repo, etc...  :)

At some point, the svn.myrealbox.com subdomain will be disabled.  This
was mainly done because Novell sold Netmail (myrealbox.com), and I'm not
sure if we'll still be able to use that subdomain.

Wade