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 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 > > wrote:
>> 
>> 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 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


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 Casasnovas  wrote:
> 
> 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 mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


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 some downtime simply for DNS 
switches. Ling and I, as well as a few other folks will be on point and 
available at all times during the transition.

Notification emails for each server transition will be sent out as we make 
progress through them. Please let us know if you see any problems or issues, 
and we will debug as quickly as possible. Please use ad...@webkit.org 
, or reply-all to the original email with as much 
detail as possible.

Thanks!
Lucas

___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev