2023-09-21
gh コマンドを使うとPRの番号とタイトルを取得できる。
gh pr list --search "<SHA>" --state merged`
https://cli.github.com/manual/gh_pr_list
"<SHA>" の部分は一般にクエリを指定できるそう。多分 pr:open みたいなやつ。逆にコミットハッシュを指定できることが驚き。
gh コマンドを使うとPRの番号とタイトルを取得できる。
gh pr list --search "<SHA>" --state merged`
https://cli.github.com/manual/gh_pr_list
"<SHA>" の部分は一般にクエリを指定できるそう。多分 pr:open みたいなやつ。逆にコミットハッシュを指定できることが驚き。