現在、人気のある GitHub リポジトリを表示しています。内部には 300 を超えるプル リクエストがあります (100 がオープン、200 がクローズ)。
これらのプル リクエストを検索して、特定のトピックがその中に既に存在するかどうかを確認するにはどうすればよいですか?
つまり、誰かがすでに同様のプルを行っている場合、コードを作成してプル リクエストを送信したくありません。
編集: または、変更する予定のファイルを知っているので、GitHub で特定のファイルを表示して、「この特定のファイルに関連する未解決のプル リクエストはありますか?」と言うことができますか?
更新: GitHub はこれを簡単に提供するようになりました。リポジトリを参照するときに、上部の検索バーで選択したリポジトリのみを検索できます。これにより、必要なものを簡単に検索できます。
この検索フォームは [問題] タブにあります。
検索エンジンを介してこのディスカッションを見つけた人に役立つ場合は、これらの情報を追加します. GitHub フィルターを使用できます。
すべてのプル リクエストを検索:is:pr
開いているすべてのプル リクエストを検索します。is:pr is:open
開いているすべてのプル リクエストをユーザー別に検索します。is:pr is:open author:username
ユーザーがコメントしたオープン プル リクエストをすべて検索します。is:pr is:open commenter:username
commenterフィルターがどこかに文書化されていたり、高度な検索で利用可能になっているのを見たことがありませんでした。推測で見つけただけで、うまくいきました。
特定の機能について話しているすべてのプル リクエストを検索する場合は、検索にキーワードを追加するだけです。
Github リポジトリ アクティビティ検索は、非常に詳細に文書化されています。
例えばgithub commenter:defunkt type:issue