[webkit-dev] Is the style bot OK?

2012-02-14 Thread Raphael Kubo da Costa
I've been trying to send a patch to bug 78600 for a few hours, but the
style bot is always rejecting [1] it when trying to apply a separate
patch.

Does the bot need some love?

[1] https://bugs.webkit.org/show_bug.cgi?id=78600#c2

-- 
Raphael Kubo da Costa
ProFUSION embedded systems
http://profusion.mobi

___
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev


Re: [webkit-dev] Is the style bot OK?

2012-02-14 Thread Eric Seidel
It does seem wedged.  However it will reset itself every 20 patches or so:

http://trac.webkit.org/browser/trunk/Tools/EWSTools/start-queue.sh

On Tue, Feb 14, 2012 at 8:44 AM, Raphael Kubo da Costa
k...@profusion.mobi wrote:
 I've been trying to send a patch to bug 78600 for a few hours, but the
 style bot is always rejecting [1] it when trying to apply a separate
 patch.

 Does the bot need some love?

 [1] https://bugs.webkit.org/show_bug.cgi?id=78600#c2

 --
 Raphael Kubo da Costa
 ProFUSION embedded systems
 http://profusion.mobi

 ___
 webkit-dev mailing list
 webkit-dev@lists.webkit.org
 http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev


Re: [webkit-dev] Is the style bot OK?

2012-02-14 Thread Adam Barth
Sorry about that.  I tried to fix it last night but apparently was
unsuccessful.  I'll try again.

Adam
 On Feb 14, 2012 8:43 AM, Raphael Kubo da Costa k...@profusion.mobi
wrote:

 I've been trying to send a patch to bug 78600 for a few hours, but the
 style bot is always rejecting [1] it when trying to apply a separate
 patch.

 Does the bot need some love?

 [1] https://bugs.webkit.org/show_bug.cgi?id=78600#c2

 --
 Raphael Kubo da Costa
 ProFUSION embedded systems
 http://profusion.mobi

 ___
 webkit-dev mailing list
 webkit-dev@lists.webkit.org
 http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev

___
webkit-dev mailing list
webkit-dev@lists.webkit.org
http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev