Phasing out svn service: use GitLab

This post is over 5 years old, it may be out of date.

As of june 1st, we will shut down our Subversion server. Only a small number of users have active repositories on the subversion server. GitLab is offered as an alternative service. Users of and are requested to move their repositories. Instructions on how to proceed can be found on our Subversion page.