Looks like you're missing an AI to auto-close the PRs for you.
Seriously though, I'm tired of the "helpful" GitHub bots closing issues after X days of inactivity. Can't wait for one powered by AI to decide it's not interested in your issue.
Those bots are great - the maintainers dont bother fixing the issue, so it goes stale, gets auto-closed, and boom! Metrics go up. Another issue successfully closed! Another bug fixed! Until someone else opens a new issue for it, which can then be closed as duplicate. I love it!
Seriously though, I'm tired of the "helpful" GitHub bots closing issues after X days of inactivity. Can't wait for one powered by AI to decide it's not interested in your issue.