infrae.com SVN migration succesful!

Hi there,

We have now successfully completed the CSV to SVN migration. Thanks for
all the hard work go to Jan-Wijbrand here at Infrae and Merlinux who is
doing the SVN hosting for us.

How to check out things from the new repository? Life generally got
easier, thanks to SVN, as we can use familiar URLs. Some examples:

To get the trunk, i.e. the current development version of various packages:

svn co https://infrae.com/svn/Silva/trunk Silva

svn co https://infrae.com/svn/Formulator/trunk Formulator

To get a particular version, for instance the historical version Silva
0.9.1.13:

svn co https://infrae.com/svn/Silva/tag/Silva-0_9_1_13 Silva

To get a branch, for instance the Silva 1.4 branch:

svn co https://infrae.com/svn/Silva/branch/Silva-1_4 Silva

The anatomy of an SVN checkout:

svn co url localname

where url is always a HTTPS-based URL on infrae.com/svn (you can also go
there with your browser if you want to explore the raw SVN, but see
below for a nicer browsing UI). localname is the name the package should
have on your filesystem; if you omit it the last part of the URL is
taken, which typically you don't want (trunk, and such). So, to check
out Silva we've given it the name 'Silva'.

We are following the convention that <url>/trunk is the trunk, <url>/tag
contains tagged versions (for release typically) and <url>/branch
contains branches. CVS has the limitation that dots cannot be used in
tag names, while SVN doesn't. The converted tags still use _ in names
for tags and branches though, so future branches and tags will have URLs
like this:

https://infrae.com/svn/Silva/branch/Silva-1.6
https://infrae.com/svn/Silva/tag/Silva-1.6

If you want to explore our SVN repository using a web browser, you can
go browse it online using 'viewvc':

https://infrae.com/viewvc/

Checkin mails are still going to [email protected] (we did drop the
'lists' component of the address).

If you are a developer with checkin rights, 'svn commit' should work as
well - the password you need to enter (the first time you check in)
should be the same password you used for infrae.com before. If you used
to work with a ssh-key and don't know your password but still want
checkin rights, or if you have any other problems, please contact
[email protected]

Regards,

Martijn