As part of our effort to reduce the PR backlog I wanted to proposed that we set the github stale action https://github.com/apps/stale. This will allow us to temporarily close PRs/tickets that are not actively being worked on.
(note that this will not remove PRs, it will simply mark PRs as stale to make it easier for committers)
