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

2017-03-28 Thread Ling Ho
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

2017-03-28 Thread zan
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

2017-03-28 Thread Ling Ho
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

2017-03-28 Thread zan
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

2017-03-28 Thread Lucas Forschler
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

2017-03-27 Thread Lucas Forschler
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, > >

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

2017-03-27 Thread Ling Ho
Hello WebKit developers, We will be switching and upgrading our Subversion and Git mirror servers this evening at 5.30pm PDT. We will be stopping svn commit at 5.30pm, and the new server should go into service shortly after DNS change is made. We will send out another notice once commit is