<div dir="ltr">Dear Mark,<div><br></div><div>Thank you for a nice job!<br><br>As the reviewers are expected to commit the PRs, could you also add the reviewers' names as a part of the notification? </div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Feb 8, 2020 at 6:56 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">I've currently got a cron job running every hour that looks at open PR<br>
requests against github openssl repo and does various actions.  So if<br>
you were wondering why I was altering labels and making comments at<br>
4am, now you know.  No doubt we'll use some tool user for this in the<br>
future.<br>
<br>
So right now here's what it does:<br>
<br>
Every hour it looks at open PRs that are labelled "approval: done".<br>
If 24 hours has elapsed since that label was assigned and if there<br>
have been no comments made to the PR since the label was assigned then<br>
it is automatically moved to "approval: ready to merge" with a comment<br>
added to trigger notifications.  So if you want to stop something<br>
going to "ready to merge" just add any comment to the PR.<br>
<br>
I'm thinking of using this script also to 1) collect interesting stats<br>
and 2) do some other actions.  So if there's some automation you'd<br>
like to see just add an enhancement issue against the openssl/tools<br>
repo.<br>
<br>
1 Matt already asked for committer notification trigger for anything<br>
labelled Urgent.<br>
<br>
2 If there were comments made after "approval: done" then I think we<br>
really ought to drop the "approval: done" label as the comments likely<br>
invalidated the approval.  So I'll likely add that next week (if<br>
"approval: done" label and has comments since that label then remove<br>
the label and add a comment 'please review if this is really approval:<br>
done'.  If the approval: done label gets set again then after 24 hours<br>
the existing automation will trigger.  #10786 is a good example of<br>
this.<br>
<br>
Mark<br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature">SY, Dmitry Belyavsky</div>