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, > > 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.
