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 > On Mar 27, 2017, at 5:36 PM, Lucas Forschler <[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] > https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
