On 12/05/15 09:30, Nicolas M. Thiery wrote: > Hi! > > On Thu, Apr 23, 2015 at 12:48:01PM -0700, Frédéric Chapoton wrote: >> Who is running eddy ? Please ? A French person, it seems. > > Oops, it's us at LRI! Thanks for the report. > > We updated it yesterday, so hopefully it's behaving properly now. > >> By the way, please patchbot owners, register yourself here : >> http://wiki.sagemath.org/buildbot/owners > > Done! > > By the way: what about having a configuration flag for the patchbot to > specify the name or maybe e-mail of the patchbot owner, rather than > maintaining this info in a separate wiki page?
Good idea. Can you do a pull request? https://github.com/robertwb/sage-patchbot I think that the patchbot server could even refuse communication with patchbot slaves in too old versions. Vincent -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
