On Sat, Mar 7, 2015 at 1:24 PM, Ralf Stephan <gtrw...@gmail.com> wrote:
> Before I even look closer: are you using git master
> of patchbot?
The 2.2 tarball is the most recent.
> Have you had a look at my pull requests?
> Be aware that the version advertised on the web page
> may be not state-of-the-art and maintenance by the
> author is rare, I.e., you will have to find your own
> solutions.
Sorry, I'd really like to spend more time on this but I just don't have it...
I'm curious why the infinite loop, but in the meantime (assuming it's
something with this particular ticket) you can create a configuration
file with a negative "bonus" to ignore this ticket:
# config.json
{
"bonus": { "7298": -10000 }
}
It'd be helpful if you can send the logs of the patchbot leading up to
the selection of this ticket.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
