<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, May 1, 2020 at 6:19 PM Mark J Cox <<a href="mailto:mark@openssl.org">mark@openssl.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Fri, May 1, 2020 at 3:30 PM Dmitry Belyavsky <<a href="mailto:beldmit@gmail.com" target="_blank">beldmit@gmail.com</a>> wrote:<br>
..<br>
> And I also got an idea that ping comment leaves PRs out of this statistics :)<br>
<br>
Thanks!  The script is designed to ignore the automated pings that it<br>
creates itself so they themselves don't reset the dates and<br>
artificially stop things being stale.  Instead they will hopefully<br>
nudge folks into taking some action that will actually stop the PRs<br>
being stale :))<br></blockquote><div><br></div><div>Well, I see some Catch-22 elements here...</div></div><div><br></div>-- <br><div dir="ltr" class="gmail_signature">SY, Dmitry Belyavsky</div></div>