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

2017-03-22 Thread Lucas Forschler
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

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

2017-03-21 Thread Lucas Forschler
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

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

2017-03-21 Thread Manuel Rego Casasnovas
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

2017-03-13 Thread Lucas Forschler
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