Yes. Jeroen is aware of the problem, but not acting to solve it by stopping or updating his patchbot. I may have to ban arando.
Frederic. Le mercredi 29 juin 2016 11:21:27 UTC+2, Eric Gourgoulhon a écrit : > > Hi, > > The patchbot arando is failing with the message > > File "/usr/lib/python2.7/xmlrpclib.py", line 792, in close > raise ResponseError() > ResponseError: ResponseError() > See for instance > https://patchbot.sagemath.org/log/18843/Ubuntu/14.04/i686/3.13.0-86-generic/arando/2016-06-29%2000:09:58 > > Could this be due to the trac migration? > > Eric. > > > -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
