Re: [sage-devel] one patchbot misconfigured

2019-01-09 Thread Vincent Delecroix
I see. Thanks for the precisions. Le 08/01/2019 à 19:15, Frédéric Chapoton a écrit : and pyflakes is not mandatory, but the owner of this patchbot forced the activation of the pyflakes plugin.. F Le mardi 8 janvier 2019 12:56:19 UTC+1, vdelecroix a écrit : (just a remark): If pyflakes is man

Re: [sage-devel] one patchbot misconfigured

2019-01-08 Thread Frédéric Chapoton
and pyflakes is not mandatory, but the owner of this patchbot forced the activation of the pyflakes plugin.. F Le mardi 8 janvier 2019 12:56:19 UTC+1, vdelecroix a écrit : > > (just a remark): If pyflakes is mandatory, couldn't the patchbot > just stops if pyflakes is not available at runtime?

Re: [sage-devel] one patchbot misconfigured

2019-01-08 Thread Frédéric Chapoton
This is already fixed in the latest version of the patchbot source code, because of this unique misbehaviour. But this patchbot version is not pre-released. F Le mardi 8 janvier 2019 12:56:19 UTC+1, vdelecroix a écrit : > > (just a remark): If pyflakes is mandatory, couldn't the patchbot > jus

Re: [sage-devel] one patchbot misconfigured

2019-01-08 Thread Vincent Delecroix
(just a remark): If pyflakes is mandatory, couldn't the patchbot just stops if pyflakes is not available at runtime? Le 08/01/2019 à 12:14, Frédéric Chapoton a écrit : Who is the owner of the patchbot nicknamed Ubuntu/18.04/x86_64/3.13.0-123-generic/44e979ad077a ? Please install *pyflakes* on

[sage-devel] one patchbot misconfigured

2019-01-08 Thread Frédéric Chapoton
Who is the owner of the patchbot nicknamed Ubuntu/18.04/x86_64/3.13.0-123-generic/44e979ad077a ? Please install *pyflakes* on your system, so that the patchbot runs correctly. This must be installed in the python version used to run the patchbot (and I suggest to use python3 for that). Frédé