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