Would it help to have a tool that automatically determines, which issues should be closed?

[tbeason]

I remember a thread not all that long ago where there was some discussion of a github bot that would ping owners of stale PRs. So I’d imagine a technical solution exists. I’d imagine issues fall much lower than PRs on the priority list though…