If we haven’t done so already, we might want to consider enabling stalebot github integration:
Nix has a handful of PRs that have not had any activity or comments for many months, including some that haven’t had a comment for over a year. You can sort by least recently updated to take a look:
In the oldest one, the last several months worth of activity are from various maintainers asking if the PR is still desired/relevant.
The above bot can be enabled with a simple click, and only requires write access to pull requests and issues (cannot modify code or commit), plus a small yaml file for config in the main repo. It gives a gentle prod with a comment after some threshold of idle time, then if there’s still no activity a full week later it closes the PR. Since activity can be anything, including another comment, a CI build, commits, a rebase, etc., this is not a high bar to clear. This seems like it’d sweep up some stuff where the original author has disappeared, without maintainers having to manually evaluate and close them out themselves.
I think it’d probably we worth setting up with a relatively long leash (several months at least), because then our issue/PR numbers would more closely reflect the actual number of unreviewed and/or WIP PRs in flight.