On Wed, Jun 29, 2016 at 11:27 AM, Frédéric Chapoton <fchapot...@gmail.com> wrote: > 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.
See also: https://github.com/robertwb/sage-patchbot/compare/710edaa29037419685aab51ca076fb9b2a7fbe37...696f861cf5dfefa2ccfd3097fbf54aca7608c6ee > 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 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. -- 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.
