[webkit-dev] Is the style bot OK?
Eric Seidel
eric at webkit.org
Tue Feb 14 09:16:59 PST 2012
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
<kubo at 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 at lists.webkit.org
> http://lists.webkit.org/mailman/listinfo.cgi/webkit-dev
More information about the webkit-dev
mailing list