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