Re: [webkit-dev] Scheduled downtime - svn.webkit.org and git.webkit.org 5.30 - 6.30pm PDT Monday 3/27/2017

Thanks for your mail. For some reason, the post-commit to push git got stuck after r214463. It is now updated and I will watch for the next commit to make sure it's fine. ... ling On 3/28/17 2:04 AM, z...@falconsigh.net wrote: On Tue, Mar 28, 2017, at 10:01 AM, Ling Ho wrote: Hi Zan, I

Re: [webkit-dev] Scheduled downtime - svn.webkit.org and git.webkit.org 5.30 - 6.30pm PDT Monday 3/27/2017

On Tue, Mar 28, 2017, at 10:01 AM, Ling Ho wrote: > Hi Zan, > > I have tested a git clone earlier and it should be working for you > too. We have also taken care notification emails issue to webkit- > changes list. > > Thanks, > ... > ling > Hi, the Git mirror is working now,

Re: [webkit-dev] Scheduled downtime - svn.webkit.org and git.webkit.org 5.30 - 6.30pm PDT Monday 3/27/2017

Hi Zan, I have tested a git clone earlier and it should be working for you too. We have also taken care notification emails issue to webkit-changes list. Thanks, ... ling On 3/28/17 12:04 AM, z...@falconsigh.net wrote: On Tue, Mar 28, 2017, at 08:45 AM, Lucas Forschler wrote: Quick update:

Re: [webkit-dev] Scheduled downtime - svn.webkit.org and git.webkit.org 5.30 - 6.30pm PDT Monday 3/27/2017

On Tue, Mar 28, 2017, at 08:45 AM, Lucas Forschler wrote: > Quick update: > > We are currently tracking issues with our EWS bots, as well as not > sending change notification emails to webkit-chan...@lists.webkit.org. > > If you notice anything awry, please let us know so we can investigate.

Re: [webkit-dev] Scheduled downtime - svn.webkit.org and git.webkit.org 5.30 - 6.30pm PDT Monday 3/27/2017

Quick update: We are currently tracking issues with our EWS bots, as well as not sending change notification emails to webkit-chan...@lists.webkit.org . If you notice anything awry, please let us know so we can investigate. Thanks, Lucas > On Mar 27,

Re: [webkit-dev] Scheduled downtime - svn.webkit.org and git.webkit.org 5.30 - 6.30pm PDT Monday 3/27/2017

Hello everyone, Commits have been disabled on svn.webkit.org while we update infrastructure. We will send a follow-up when the repository is back online. Thanks, Lucas > On Mar 27, 2017, at 11:31 AM, Ling Ho wrote: > > Hello WebKit developers, > >