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
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
@ 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
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