PRs now going back 18 months -- let's close the clearly dead ones

[Zero King]

On Sat, Jul 25, 2020 at 01:38:58PM -0700, Ken Cunningham wrote:
>There are ancient PRs that are never going to be committed in the queue.
>
>This is just noise, and prevents us from keeping things moving.
>
>The people who opened them seem attached to them, but they are clearly dead and need to be closed.
>
>If in agreement, can one of the admins close the 50 oldest ones at least and let’s move on to something we can focus on.

No comment on this, but we could use the official stale GitHub Action to
automate that: https://github.com/actions/stale.

>We don’t want the PR queue to start to look like the (ridiculous) ticket list, with dormant open tickets going back decades.
>
>Ken