Hi Ryosuke, You are still hitting the new SVN server, which is currently going through an svn sync operation.
The DNS team is targeting a 9:00 ETA for the roll-back to the original/working server. Lucas > On Mar 13, 2017, at 8:04 PM, Ryosuke Niwa <rn...@webkit.org> wrote: > > Has this happened? I seem to be still getting a wrong SVN server with > revisions around r38036. > - R. Niwa > > > On Mon, Mar 13, 2017 at 6:59 PM, Lucas Forschler <lforsch...@apple.com> wrote: >> We’ve discovered an issue with the new infrastructure and will be rolling >> back DNS to the original server until we can get a fix. >> Lucas >> >> >> On Mar 13, 2017, at 6:03 PM, Lucas Forschler <lforsch...@apple.com> wrote: >> >> Update: Making the svn repository read-only now. >> >> On Mar 13, 2017, at 3:02 PM, Lucas Forschler <lforsch...@apple.com> wrote: >> >> Hello WebKit, >> >> Both svn.webkit.org and the git.webkit.org mirror will be transitioning to >> new hardware this evening. >> >> For svn.webkit.org, our plan is to make the current repository read only >> between 6:00 and 6:30. As soon as the DNS change takes effect, you should be >> able to commit to the new server as expected, with no changes. We are using >> the same UUID and SSL certificate, so your source checkout should not >> complain. I’ll follow-up with another reminder shortly before we make any >> changes. >> >> Thanks, >> Lucas >> >> _______________________________________________ >> webkit-dev mailing list >> webkit-dev@lists.webkit.org >> https://lists.webkit.org/mailman/listinfo/webkit-dev >> >> >> _______________________________________________ >> webkit-dev mailing list >> webkit-dev@lists.webkit.org >> https://lists.webkit.org/mailman/listinfo/webkit-dev >> >> >> >> _______________________________________________ >> webkit-dev mailing list >> webkit-dev@lists.webkit.org >> https://lists.webkit.org/mailman/listinfo/webkit-dev >> _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev