On Fri, May 1, 2020 at 6:19 PM Mark J Cox <[email protected]> wrote: > On Fri, May 1, 2020 at 3:30 PM Dmitry Belyavsky <[email protected]> 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
