Scripts for closing pull requests for Hacktoberfest

[cclauss]

Each year we prepare for Hacktoberfest by clearing out old pull requests to simplify things for project maintainers.

We had 211 open pull requests; after running these scripts, we have 126. ~40% of our Open PRs were closed.

@MaximSmolskiy Your review, please.

[tianyizheng02]

Shouldn't we increase the PR limit to something higher than 200? We regularly have open PR counts larger than that.

[tianyizheng02]

Admittedly I'm not great with bash scripting, but the scripts look right to me. I trust that they work as intended if these are the same scripts that you just used clean up our open PRs, which appears to have been successful.

[tjgurwara99]

Just passing by here since I got assigned in this so the following is a question and maybe a suggestion... - is it worth doing this in a workflow_dispatch based CI action? https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#workflow_dispatch

These seem to be repeatable tasks and would be easier to do them directly from the GitHub UI for maintainers.

[cclauss]

I hesitate to automate this too much because we run it rarely and closing other people's work is something we should do with some deliberation and not too much automation.