Command-line tool to query GitHub pull requests