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 <[email protected]> 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 <[email protected]> wrote: > > Update: Making the svn repository read-only now. > > On Mar 13, 2017, at 3:02 PM, Lucas Forschler <[email protected]> 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 > [email protected] > https://lists.webkit.org/mailman/listinfo/webkit-dev > > > _______________________________________________ > webkit-dev mailing list > [email protected] > https://lists.webkit.org/mailman/listinfo/webkit-dev > > > > _______________________________________________ > webkit-dev mailing list > [email protected] > https://lists.webkit.org/mailman/listinfo/webkit-dev > _______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
