Just restarted it. Hopefully it will help. On 11 September 2015 at 16:19, Vincent Delecroix <20100.delecr...@gmail.com> wrote: > I guess it is one of Dima (since the home folder is /home/dima)... > > On 11/09/15 03:32, Frédéric Chapoton wrote: >> >> Hello, >> >> to anybody who is concerned. >> >> *please stop the patchbot named "geom",* as it is currently giving wrong >> reports. >> >> By the way, remember to register here >> : http://wiki.sagemath.org/buildbot/owners
If I only knew how to log in to register it... Should we rather move this page to the github wiki of the patchbot repo? Dima -- 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.
