My biggest problem with github issues is similar to the problems with SO: Bots closing issues because someone doesn't spam the page. Closing as duplicate of (n

My biggest problem with github issues is similar to the problems with SO: Bots closing issues because someone doesn't spam the page. Closing as duplicate of (non related bug). A slew of random solutions that are only tangentially related and don't really solve the problem.