Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
PR summary
Since nobody objected to my comment at #27495 (comment), I went ahead and implemented that.
For the existing workflow
operations-per-run
to 20. If I've done this right, that means we get a maximum of five issues/PRs labelled as inactive for each run, and so max 15 per week.Because the existing workflow won't get around to checking the issues it already labelled for a long time, add a new workflow to tidy up after the first one. The difference between the two workflows is:
days-before-stale
to a negative number means the new workflow does not add the label to any issues or PRs and therefore does not need the messages.operations-per-run
high (though the specific choice of 300 is a bit arbitrary) so the workflow will check through all the currently labelled item fairly quickly. It should only generate notifications when it finds an issue that has had the label for a month, so shouldn't be too noisy regardless of how high we set this number.I do not really like the copy/paste nature of this change, but can't currently see a better way. Hopefully we will eventually clear the backlog of old issues, at which point we can just bump up the
operations-per-run
in the original workflow and remove the extra one.The upside of all this is that I think we should see more steady progress through the issue backlog.
PR checklist