Re: [webkit-dev] Is the style bot OK?
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" 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?
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 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
[webkit-dev] Is the style bot OK?
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