I know one of them is an old Docker patchbot I was running for a long
time. At some point it seems to have gotten stuck. I will see if I
can kill it off once and for all and start a new one from a more
recent Docker image.
On Wed, Aug 21, 2019 at 2:55 AM Kwankyu Lee wrote:
>
> Hi,
>
> It seems to me that currently only two patchbots are reliably testing
> patches. One of them is "hades" that I am running temporarily. Owners of
> patchbots should check if his or her patchbot is polluting trac with wrong
> results rather than helping reviewers.
>
> --
> 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 sage-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/518c3ae7-390e-4044-9e82-e1a933d30654%40googlegroups.com.
--
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 sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/CAOTD34bGiE3vER%2BX%2BL8dOaU%3DAWYDHr-%2BeEjPOUWFYmashvOy3w%40mail.gmail.com.
