GitHubのPRをブランチ名でフィルタしたい(filtering pr by branch name in github)
基本的には公式ヘルプ読んでください。 環境 GitHub 2022/11/04時点 対応 base:ブランチ名で特定のブランチに対するPRをフィルタリングできます。fromではなく、toのブランチ名を指しています。ブランチを切るときのbaseとして考えると、意味合いは正しいのですが、混乱しました。 base:{ブランチ名} base:develop 逆にfromブランチでフィルタしたい場合は、head:ブランチ名を使用します。 head:{ブランチ名} head:feature なお、baseもheadも前方一致で検索できます。 ※ View advanced search syntaxから該…
2023/04/24 12:00