GitHub のプルリクエストを検索するときによく使うクエリやコマンドなど