[sage-devel] Re: Patchbot ticket status

2012-05-15 Thread Keshav Kini
Robert Bradshaw writes: > On Tue, May 15, 2012 at 2:33 AM, Keshav Kini wrote: >> Take for example #11310. I just forcibly ran my patchbot on this ticket. >> It's never been set to needs_review before so I guess it never got >> tested by any other patchbots automatically. Thus my patchbot's result

[sage-devel] Re: Patchbot ticket status

2012-05-15 Thread Keshav Kini
David Loeffler writes: > The grey circle is because the patches now on the ticket aren't the > same ones that patchbot ran its tests with (note the word "mismatch" > in red on the patchbot page). Unfortunately it looks like the patch was updated a mere 11 minutes after I posted this thread, so yo