[webkit-dev] WebKitTools is changing to Tools
eric at webkit.org
Fri Dec 10 14:21:07 PST 2010
I suspect there will be a lot of follow-on cleanup. I don't plan to
be hacking much that evening, but it would be possible.
grep -l -r WebKitTools * | grep -v pyc | grep -v ChangeLog
Shows that at least 65 files in svn.webkit.org will need an update.
I expect all of the queues.webkit.org bots will need restarts. As
well as possibly build.webkit.org bots as well.
So that means at least the following people will need to perform restarts:
- me (cq nodes, and ews)
- Adam Barth (cq nodes, and ews)
- Bill Siegrist (build.webkit.org)
- Lucas Forschler (win ews nodes)
- Lucas De Marchi (EFL ews)
- Whoever runs the Qt ews
I don't think the build slaves will need to be restarted, right Bill?
I'm all for the change, but ideally we should come up with a list of
who all will be affected (that may just be the list above?)
Could we add a symlink before then? Then it would be easy for most of
those restarts to happen before the switch date.
On Fri, Dec 10, 2010 at 2:10 PM, Dan Bernstein <mitz at apple.com> wrote:
> 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