GITHUB_HEAD_REFとは?

GITHUB_HEAD_REFは、pull requestのhead(ソース)branch名です - pull_requestイベントでのみ設定されます。

pull_requestの実行では、GITHUB_HEAD_REFはPRの元となるbranchであり、GITHUB_BASE_REFはPRが対象とするbranchです。pushイベントでは空になります。

いつ設定されるか

pull_requestとpull_request_targetのイベントでのみ設定されます。pushイベントでは空です。

例

PRのbranchにちなんで名付けたpreviewをbuildする。

echo "Building PR from ${GITHUB_HEAD_REF}"

重要なポイント

• GITHUB_HEAD_REFはPRのソースbranchです。
• pull_requestイベントでのみ設定されます。
• GITHUB_BASE_REF(対象branch)と組み合わせます。

関連ガイド