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 clo

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!