Es tut mir Leid. Wir spielen das Spielchen nochmal; ich werde aber versuchen, alles in die Nacht zu ziehen.
Am Donnerstag abend (31. Januar) ab 20.30 Uhr ist ein Umzug des Servers geplant.
Im Laufe der Arbeit werde ich alle Zugänge auf read-only setzen, was hier besonders das svn betrifft. Sobald alles über die Bühne ist, wird der DNS-Eintrag geändert. Auf dem neuen Server werden die Dienste bereits wieder mit Schreibzugriff warten, sodass es keine Verzögerungen über das DNS-Problem hinaus geben sollten.
Es tut mir Leid, aber der Umzug muss leider sein. :-/
jhr