Re: [webkit-dev] svn.webkit.org and git.webkit.org transition today at 6:00

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 wrote: > > Has this happened? I seem to be

Re: [webkit-dev] svn.webkit.org and git.webkit.org transition today at 6:00

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 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. >

Re: [webkit-dev] svn.webkit.org and git.webkit.org transition today at 6:00

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 wrote: > > Update: Making the svn repository read-only now. > >> On Mar 13, 2017, at 3:02 PM, Lucas Forschler

Re: [webkit-dev] svn.webkit.org and git.webkit.org transition today at 6:00

Update: Making the svn repository read-only now. > On Mar 13, 2017, at 3:02 PM, Lucas Forschler wrote: > > Hello WebKit, > > Both svn.webkit.org and the git.webkit.org > mirror will be transitioning to new hardware this > evening. > > For sv

[webkit-dev] svn.webkit.org and git.webkit.org transition today at 6:00

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 soo