[webkit-dev] WebKitTools is changing to Tools
mitz at apple.com
Fri Dec 10 14:10:11 PST 2010
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?
> 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