github-actions[bot]
commented
5 months ago I'm going to lock this pull request because it has been closed for at least 7 days. This helps our maintainers find and focus on the active issues. If you've found a problem that seems related to this change, please open a new issue so we can investigate further.
I noticed the lock workflow was still failing sometimes, and from what I could tell the runs that failed were most likely to be during business hours (US time). I'm hoping we can address the issue by running during the night (early morning hours UTC).
While I was at it, I refactored Mutahhir's great work into a separate script so that it could be reused across workflows; another one that makes a fair number of API calls that could benefit from this approach is the stale workflow.