Re: [webkit-dev] What happened to WKR and webkitbot?

2016-11-18 Thread Lucas Forschler 
The nightlies are alive again! Please let me know if you run into any issues.
Lucas


> On Nov 18, 2016, at 10:34 AM, Yusuke SUZUKI  wrote:
> 
> Great! Thank you.
> 
> Best regards,
> Yusuke Suzuki
> 
> On Fri, Nov 18, 2016 at 9:09 AM, Lucas Forschler  > wrote:
> Hi Yusuke!
> The nightly issue is different, I am escalating a fix now.
> 
> Lucas
> 
>> On Nov 17, 2016, at 11:26 PM, Yusuke SUZUKI > > wrote:
>> 
>> WebKit nightly build is also stopped.
>> Is that the same issue?
>> 
>> Regards,
>> Yusuke Suzuki
>> 
>> On Thu, Nov 17, 2016 at 10:57 AM, Simon Fraser > > wrote:
>> > On Nov 17, 2016, at 10:21 AM, Osztrogonác Csaba > > > wrote:
>> >
>> > Hi,
>> >
>> > it seems WKR and webkitbot left #webkit IRC channel
>> > on 4th Nov and we can't see them since then.
>> >
>> > It would be great if somebody could
>> > find and ask them to come back.
>> 
>> Top people are working on this. We had to do some network reconfiguring on 
>> the hosts that ran these bots.
>> 
>> Simon
>> 
>> ___
>> 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] What happened to WKR and webkitbot?

2016-11-18 Thread Yusuke SUZUKI 
Great! Thank you.

Best regards,
Yusuke Suzuki

On Fri, Nov 18, 2016 at 9:09 AM, Lucas Forschler 
wrote:

> Hi Yusuke!
> The nightly issue is different, I am escalating a fix now.
>
> Lucas
>
> On Nov 17, 2016, at 11:26 PM, Yusuke SUZUKI  wrote:
>
> WebKit nightly build is also stopped.
> Is that the same issue?
>
> Regards,
> Yusuke Suzuki
>
> On Thu, Nov 17, 2016 at 10:57 AM, Simon Fraser 
> wrote:
>
>> > On Nov 17, 2016, at 10:21 AM, Osztrogonác Csaba 
>> wrote:
>> >
>> > Hi,
>> >
>> > it seems WKR and webkitbot left #webkit IRC channel
>> > on 4th Nov and we can't see them since then.
>> >
>> > It would be great if somebody could
>> > find and ask them to come back.
>>
>> Top people are working on this. We had to do some network reconfiguring
>> on the hosts that ran these bots.
>>
>> Simon
>>
>> ___
>> 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] What happened to WKR and webkitbot?

2016-11-18 Thread Lucas Forschler 
Hi Yusuke!
The nightly issue is different, I am escalating a fix now.

Lucas

> On Nov 17, 2016, at 11:26 PM, Yusuke SUZUKI  wrote:
> 
> WebKit nightly build is also stopped.
> Is that the same issue?
> 
> Regards,
> Yusuke Suzuki
> 
> On Thu, Nov 17, 2016 at 10:57 AM, Simon Fraser  > wrote:
> > On Nov 17, 2016, at 10:21 AM, Osztrogonác Csaba  > > wrote:
> >
> > Hi,
> >
> > it seems WKR and webkitbot left #webkit IRC channel
> > on 4th Nov and we can't see them since then.
> >
> > It would be great if somebody could
> > find and ask them to come back.
> 
> Top people are working on this. We had to do some network reconfiguring on 
> the hosts that ran these bots.
> 
> Simon
> 
> ___
> 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