Re: [webkit-dev] WebKit servers transitioning to new hardware

This should be working now (even though we have not yet transitioned svn.webkit.org ) (I see an update from March 20th) Lucas > On Mar 21, 2017, at 8:10 AM, Lucas Forschler wrote: > > Thanks Manuel! > > It looks like there is a network ACL problem preventing the update

Re: [webkit-dev] WebKit servers transitioning to new hardware

Thanks Manuel! It looks like there is a network ACL problem preventing the update from succeeding. I will investigate a fix, however this should resolve itself once svn.webkit.org transitions to the new server. Lucas > On Mar 21, 2017, at 7:29 AM, Manuel Rego Casasnovas

Re: [webkit-dev] WebKit servers transitioning to new hardware

Hi, Dunno if it was related to this or something else but planet.webkit.org is not being updated since March 10, 2017. Thanks, Rego ___ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev

[webkit-dev] WebKit servers transitioning to new hardware

Hello WebKit! The hardware hosting the current *.webkit.org properties is reaching it’s EOL. We plan to migrate all of the services to new hardware over the coming weeks. We will attempt to do this with as little inconvenience as possible, but it’s expected there to be some