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
みたいなやつ。逆にコミットハッシュを指定できることが驚き。