@the owner of patchbot *sage4:* your bot is now stuck on #18131. It seems that the problem is with unsafe tickets. Could you please tell me what
sage -patchbot --skip-base --safe-only --ticket=18131 does ? Le mercredi 8 avril 2015 20:56:33 UTC+2, Frédéric Chapoton a écrit : > > Hello, > > Could you please try (with 2.3.2) > > ./sage -patchbot --skip-base=True > > and > > ./sage -patchbot --safe-only=True > > By the way, you can see the options using > > ./sage -patchbot --help > > I am working now to add more info here. > > Le mercredi 8 avril 2015 18:08:35 UTC+2, Jeroen Demeyer a écrit : >> >> On 2015-04-08 18:05, Frédéric Chapoton wrote: >> > What command exactly did you run ? >> nice ./sage --patchbot >> >> > Did you choose a specific ticket ? >> No. >> >> > Could you please try to use the patchbot 2.3.2 with safe-only set to >> > False ? >> I have no idea what that means. >> >> -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
