O Que É GITHUB_HEAD_REF?

GITHUB_HEAD_REF é o nome da branch head (de origem) de um pull request - definido apenas para eventos pull_request.

Em uma execução de pull_request, GITHUB_HEAD_REF é a branch de onde o PR vem, enquanto GITHUB_BASE_REF é a branch que ele mira. É vazio para eventos push.

Quando ele é definido

Apenas em eventos pull_request e pull_request_target. Em eventos push, ele é vazio.

Exemplo

Compilar um preview nomeado com base na branch do PR.

shell

echo "Building PR from ${GITHUB_HEAD_REF}"

Principais conclusões

GITHUB_HEAD_REF é a branch de origem do PR.
Ele só é definido em eventos pull_request.
Combina com GITHUB_BASE_REF (a branch de destino).

Guias relacionados

What Is GITHUB_BASE_REF?GITHUB_BASE_REF is the target branch of a pull request in GitHub Actions. Learn how it is used in diffs and m… What Is a Pull Request?What is a pull request? An explainer on how PRs propose changes, gather review, run CI checks, and serve as t… What Is GITHUB_REF_NAME?GITHUB_REF_NAME is the short branch or tag name for a GitHub Actions run, like main or v1.2.0. Learn how it d…