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

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

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

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

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

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