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 <mailto: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 <lforsch...@apple.com <mailto:lforsch...@apple.com>> wrote:

Hello everyone,

Commits have been disabled on svn.webkit.org <http://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 <lin...@apple.com <mailto:lin...@apple.com>> 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 <mailto:webkit-dev@lists.webkit.org>
https://lists.webkit.org/mailman/listinfo/webkit-dev

_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org <mailto:webkit-dev@lists.webkit.org>
https://lists.webkit.org/mailman/listinfo/webkit-dev
_________________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org <mailto: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

Reply via email to