[sage-devel] Re: bot confusion

2016-03-23 Thread Frédéric Chapoton
unfortunately, it seems that setting max_behind_commits to 0 does not solve the problem. We will have to wait for the next beta. Hopefully soon ? Volker ? I will try to solve this in the next patchbot release. Frederic Le mardi 22 mars 2016 08:37:12 UTC+1, Frédéric Chapoton a écrit : > > Hello

Re: [sage-devel] Re: bot confusion

2016-03-22 Thread Vincent Delecroix
done for librae Vincent On 22/03/16 17:17, Frédéric Chapoton wrote: @ all patchbot owners, could you please set "max_behind_commits" to 0 in your json config file ? This may prevent the bots to go on misbehaving until the next beta.. Frederic Le mardi 22 mars 2016 08:37:12 UTC+1, Frédéric C

[sage-devel] Re: bot confusion

2016-03-22 Thread Frédéric Chapoton
@ all patchbot owners, could you please set "max_behind_commits" to 0 in your json config file ? This may prevent the bots to go on misbehaving until the next beta.. Frederic Le mardi 22 mars 2016 08:37:12 UTC+1, Frédéric Chapoton a écrit : > > Hello, > > the patchbots seem to be very confused

[sage-devel] Re: bot confusion

2016-03-22 Thread Frédéric Chapoton
This may be caused by the fact that there was just one commit between rc1 and 7.1 ! Hopefully, this should automatically get back to normal after one day. Frederic Le mardi 22 mars 2016 08:37:12 UTC+1, Frédéric Chapoton a écrit : > > Hello, > > the patchbots seem to be very confused by the 7.1