Re: [sage-devel] Please check unhealthy patchbots

2019-08-21 Thread E. Madison Bray
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

[sage-devel] Please check unhealthy patchbots

2019-08-20 Thread Kwankyu Lee
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 be