On Saturday, December 7, 2019 at 7:21:44 PM UTC+9, Frédéric Chapoton wrote:
>
> The patchbot named "sage4" has been banned from posting its reports. It
> will be unbanned when Jeroen tells us that he is taking care.
>
Thank God!
--
You received this message because you are subscribed to the
The patchbot named "sage4" has been banned from posting its reports. It
will be unbanned when Jeroen tells us that he is taking care.
F
Le vendredi 6 décembre 2019 10:04:34 UTC+1, Dima Pasechnik a écrit :
>
> As Jeroen, who runs that bot, appears to be AWOL, this bot has to be
> banned.
>
>
>
As Jeroen, who runs that bot, appears to be AWOL, this bot has to be banned.
On Fri, 6 Dec 2019, 07:57 Frédéric Chapoton, wrote:
> The mad patchbot named "sage4" is still running at full steam, sending
> wrong reports by hundreds.
>
> It seems to be running an old version ot the patchbot code
The mad patchbot named "sage4" is still running at full steam, sending
wrong reports by hundreds.
It seems to be running an old version ot the patchbot code on python 2.7,
which is not allowed anymore.
Frederic
Le lundi 2 décembre 2019 15:27:39 UTC+1, Léo Brunswic a écrit :
>
> Hi ,
>
> I
