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 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, but it's fallen behind the SVN 
repository. It's stuck at r214463 while SVN is at this moment at r214469.

https://git.webkit.org/?p=WebKit.git;a=shortlog

Cheers,
Zan



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:

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


The git.webkit.org mirror doesn't seem to be operational. The server 
itself is up and running, but Git requests against it time out.


Cheers,
Zan



On Mar 27, 2017, at 5:36 PM, Lucas Forschler > wrote:


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,

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 possible again on the new server.


Thanks,
...
ling



___
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



_
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] 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, but it's fallen behind the SVN
repository. It's stuck at r214463 while SVN is at this moment at
r214469.
https://git.webkit.org/?p=WebKit.git;a=shortlog



Cheers,

Zan



> 

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

>>> 

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

>> 

>> The git.webkit.org mirror doesn't seem to be operational. The server
>> itself is up and running, but Git requests against it time out.
>> 

>> Cheers,

>> Zan

>> 

>>> 

 On Mar 27, 2017, at 5:36 PM, Lucas Forschler 
 wrote:
 

 Hello everyone,

 

 Commits have been disabled on svn.webkit.org[1] 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,

> 

> 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
> possible again on the new server.
> 

> Thanks,

> ...

> ling

> 

> 

> 

> ___

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

> _

> webkit-dev mailing list

> webkit-dev@lists.webkit.org

> https://lists.webkit.org/mailman/listinfo/webkit-dev




Links:

  1. http://svn.webkit.org/
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


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:

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


The git.webkit.org mirror doesn't seem to be operational. The server 
itself is up and running, but Git requests against it time out.


Cheers,
Zan



On Mar 27, 2017, at 5:36 PM, Lucas Forschler > wrote:


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,

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 
possible again on the new server.


Thanks,
...
ling



___
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


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


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.
> Thanks,

> Lucas



The git.webkit.org mirror doesn't seem to be operational. The server
itself is up and running, but Git requests against it time out.


Cheers,

Zan



> 

>> On Mar 27, 2017, at 5:36 PM, Lucas Forschler
>>  wrote:
>> 

>> Hello everyone,

>> 

>> Commits have been disabled on svn.webkit.org[1] 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,

>>> 

>>> 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
>>> possible again on the new server.
>>> 

>>> Thanks,

>>> ...

>>> ling

>>> 

>>> 

>>> 

>>> ___

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




Links:

  1. http://svn.webkit.org/
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


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, 2017, at 5:36 PM, Lucas Forschler  wrote:
> 
> 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,
>> 
>> 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 possible again on the new server.
>> 
>> Thanks,
>> ...
>> ling
>> 
>> 
>> 
>> ___
>> 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] 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,
> 
> 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 possible again on the new server.
> 
> Thanks,
> ...
> ling
> 
> 
> 
> ___
> 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