Hello all, The devops team is currently in the process of moving the repos off nymeria and onto orion as part of our planned infrastructure move (see arch-devops archives). This might result in some minor breakages but we'll try to keep that at a minimum. The move is expected to take place either later today or tomorrow.
You will then receive a new mail with instructions how to migrate your svn and what else there might be to know about this. Sven
