Useful GitHub Snippets Filter PR/issue results by number of comments Get results with more than COMMENT_NUMBER comments comments:>COMMENT_NUMBER