Re: [webkit-dev] Is git.webkit.org stopping?

2017-09-18 Thread Yusuke SUZUKI
git.webkit.org seems working now! Thank you for your tough work :D

Regards,
Yusuke Suzuki

On Mon, Sep 18, 2017 at 11:49 PM, Lucas Forschler 
wrote:

> I see that git is at 222138, and svn is at 222143.
> I’ll start investigating, thanks for the heads up!
>
> Lucas
>
>
>
> On Sep 18, 2017, at 6:37 AM, Yusuke SUZUKI  wrote:
>
> Hi WebKittens,
>
> I've found that git.webkit.org is not in sync right now, is it known
> issue?
>
> Best regards,
> Yusuke Suzuki
> ___
> 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] Is git.webkit.org stopping?

2017-09-18 Thread Lucas Forschler
I see that git is at 222138, and svn is at 222143.
I’ll start investigating, thanks for the heads up!

Lucas



> On Sep 18, 2017, at 6:37 AM, Yusuke SUZUKI  wrote:
> 
> Hi WebKittens,
> 
> I've found that git.webkit.org  is not in sync right 
> now, is it known issue?
> 
> Best regards,
> Yusuke Suzuki
> ___
> 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] Is git.webkit.org stopping?

2017-09-18 Thread Yusuke SUZUKI
Hi WebKittens,

I've found that git.webkit.org is not in sync right now, is it known issue?

Best regards,
Yusuke Suzuki
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev