Pull Request の番号を取得する¶

GitHub Actions から Pull Request へコメントする際などに使う PR 番号を、GitHub CLI で取得する方法を示す。

gh CLI を使う¶

gh CLI を使うと Pull Request の番号を取得できる。

1

gh pr view --json number --jq .number

--jsonオプションで出力を JSON 形式にし、--jqオプションで JSON の値を取得する。

GitHub Actions 内のコンテキストから取得する¶

GitHub Actions 内で Pull Request の番号を取得するにはgithub.eventコンテキストを使う。

1
2
3

export PR_NUMBER="${{ github.event.pull_request.number || github.event.issue.number }}"
# or
export PR_NUMBER="${{ github.event.number }}"