[webkit-dev] build.webkit.org transition today at 3pm PDT

[Lucas Forschler]

I will ensure all commits that happen during transition get staged on the new server.
Lucas

> On Mar 16, 2017, at 2:52 PM, Ryosuke Niwa <rniwa at webkit.org> wrote:
> 
> Are you making the subversion server readonly meanwhile?
> 
> It's not acceptable for our infrastructure to be down and letting
> people commit random things into the repository.
> - R. Niwa
> 
> 
> On Thu, Mar 16, 2017 at 2:40 PM, Ling Ho <lingho at apple.com> wrote:
>> Hello WebKit developers:
>> 
>> We are continuing our transitioning of webkit.org servers today and
>> tomorrow. Between 3pm and 4pm Pacific, we will be moving build.webkit.org.
>> Please email us at admin at webkit.org if you encounter any issue with your
>> build bots after the transition.
>> 
>> Thanks,
>> ...
>> ling
>> _______________________________________________
>> webkit-dev mailing list
>> webkit-dev at lists.webkit.org
>> https://lists.webkit.org/mailman/listinfo/webkit-dev
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev