On Mon, Jun 26, 2017 at 6:03 PM, Kwankyu Lee <[email protected]> wrote: > Hi, > > If a patch to a ticket put files in src/ext, then the ticket is considered > "unsafe", and the patchbot treat it with caution. In particular, the > patchbot clones sage into /tmp and builds it with the patch there. This > causes the building time (and the size of the log file) increase > considerably. > > Is this a reasonable behavior? Would someone explain why adding files in > src/ext should be considered "unsafe", unlike say in src/doc or src/sage? > Thank you in advance.
Coincidentally, I just discovered this feature myself in the process of preparing a little patch to the patchbot. This could be really sluggish for the Windows patchbot, so I'll probably just disable it in the settings. But it makes me wonder what is meant by "safe"/"unsafe" here? -- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
