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