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 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.