Hello,
Six months later, I am still very puzzled : who on earth is running this
patchbot ? apparently, not somebody reading sage-devel.
This patchbot needs care. Does anybody have any idea of who is in charge ?
Frédéric
Le mardi 8 janvier 2019 12:14:24 UTC+1, Frédéric Chapoton a écrit :
>
> Wh
and to all patchbot breeders : please also *install* *pycodestyle*, so that
maybe I will no longer have to fix invalid escape sequences newly
introduced at every release.
F
Le dimanche 27 janvier 2019 20:19:25 UTC+1, Frédéric Chapoton a écrit :
>
> So this patchbot belongs to nobody ? Too bad.
So this patchbot belongs to nobody ? Too bad. It will then go on forever
spitting polluting reports (not useless reports nevertheless).
Recall to patchbot breeders: you can either use --owner=DiCarpaccio on the
command line or {'owner':'ClintWestwood'} in the patchbot config file to
tell us who
