[webkit-dev] WebKitTools is changing to Tools
abarth at webkit.org
Fri Dec 10 13:58:51 PST 2010
Is it time to throw the switch now?
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).
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
More information about the webkit-dev