@ 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 by the 7.1 release. > > It may come from a bug in the patchbot code. Maybe the situation will go > back to > normal with the first beta of 7.2. I remember patchbots being troubled by > exact release, > but not as severely as this time. > > Could somebody please double check that everything has been done correctly > on the git servers ? > > Frederic > -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
