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, [email protected] 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 [email protected]
<mailto:[email protected]>.
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 <[email protected]
<mailto:[email protected]>> 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 <[email protected]
<mailto:[email protected]>> 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
[email protected] <mailto:[email protected]>
https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________
webkit-dev mailing list
[email protected] <mailto:[email protected]>
https://lists.webkit.org/mailman/listinfo/webkit-dev
_________________________________________________
webkit-dev mailing list
[email protected] <mailto:[email protected]>
https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________
webkit-dev mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________
webkit-dev mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-dev
