Hi, the SVN server (and the main copy of git repositories) are being moved to another server right now. The outage should take few hours. Ciao -- Luigi