[webkit-dev] WebKitTools is changing to Tools

[Dan Bernstein]

On Dec 10, 2010, at 1:58 PM, Adam Barth <abarth at webkit.org> wrote:

> Is it time to throw the switch now?

How about next week, Dec 17 at around 4PM PST?

> 
> Adam
> 
> 
> On Sun, Nov 21, 2010 at 9:55 AM, Dan Bernstein <mitz at apple.com> wrote:
>> 
>> On Nov 21, 2010, at 5:41 AM, Eric Seidel wrote:
>> 
>> That's likely to break all the ews and commit bots. Since I'm on vacation at
>> least the ones I run will remain broken until I return on 29th.
>> 
>> Thanks for letting me know. I will make this change some other time.
>> 
>> On Nov 21, 2010 2:31 AM, "Dan Bernstein" <mitz at apple.com> wrote:
>>> WebKit developers,
>>> 
>>> I am going to commit the patch from
>>> <https://bugs.webkit.org/show_bug.cgi?id=49861>, renaming the WebKitTools
>>> directory to Tools and updating all internal references. If you update your
>>> tree after that, you might need to adjust any personal scripts or tools that
>>> refer to the old name.
>>> 
>>> I am planning to do this in ~14 hours from now (9:30PM UTC, 1:30PM PST).
>>> 
>>> Regards,
>>> —Dan
>> 
>> 
>> _______________________________________________
>> webkit-dev mailing list
>> webkit-dev at lists.webkit.org
>> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
>> 
>>