>
> 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.
The feature (allowing to test unsafe tickets) seems broken an
On Mon, Jun 26, 2017 at 6:03 PM, Kwankyu Lee 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 bui
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
considera
