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

2016-11-22 Thread Lucas Forschler 
WKR and WebKitBot are back online. Please let me know if you see any issues… 
Lucas


> On Nov 18, 2016, at 6:05 PM, Lucas Forschler  wrote:
> 
> 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

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

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

2016-11-17 Thread Yusuke SUZUKI 
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

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

2016-11-17 Thread Simon Fraser 
> 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] What happened to WKR and webkitbot?

2016-11-17 Thread Osztrogonác Csaba 

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.

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