2023-09-21

gh コマンドを使うとPRの番号とタイトルを取得できる。

gh pr list --search "<SHA>" --state merged`

https://cli.github.com/manual/gh_pr_list

"<SHA>" の部分は一般にクエリを指定できるそう。多分 pr:open みたいなやつ。逆にコミットハッシュを指定できることが驚き。