We'd like to focus on WebKit2 robustness and concentrate our gardening on that, hence moving our Wk1 Debug bot to Wk2 release.
Created attachment 172577 [details] Patch
Lucas, could you informally review this? Thanks.
Created attachment 172730 [details] Patch v2, fixed build-dir.
Gyuyoung, I changed the builddir still, could you take another quick look and r+? Then I'd land this and watch whether the bot picks it up correctly. Thanks.
Comment on attachment 172730 [details] Patch v2, fixed build-dir. Please look at buildbots after landing this patch.
Comment on attachment 172730 [details] Patch v2, fixed build-dir. Clearing flags on attachment: 172730 Committed r133735: <http://trac.webkit.org/changeset/133735>
All reviewed patches have been landed. Closing bug.
William, it looks like the master did not pick up the change, could you restart it?
I have verified that the code on the master has been updated. It's currently at r133854. This patch landed in 133735. I also restarted the master. I'm going to take a look at the config.json and see if something else was missed.
Thanks for taking a look - whatever convinced it, in the end our bot now switched to the new config.