Stale PR stats @May01

Dmitry Belyavsky beldmit at
Fri May 1 15:23:08 UTC 2020

On Fri, May 1, 2020 at 6:19 PM Mark J Cox <mark at> wrote:

> On Fri, May 1, 2020 at 3:30 PM Dmitry Belyavsky <beldmit at> wrote:
> ..
> > And I also got an idea that ping comment leaves PRs out of this
> statistics :)
> Thanks!  The script is designed to ignore the automated pings that it
> creates itself so they themselves don't reset the dates and
> artificially stop things being stale.  Instead they will hopefully
> nudge folks into taking some action that will actually stop the PRs
> being stale :))

Well, I see some Catch-22 elements here...

SY, Dmitry Belyavsky
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the openssl-project mailing list