fix(ci): prefer GitHub Actions PR-event head SHA over GITHUB_SHA#1469

jd wants to merge 1 commit into

devs/jd/worktree-rust-port/promote-ci-junit-upload-shim-native-deprecated--c316f55cMergifyio/mergify-cli:devs/jd/worktree-rust-port/promote-ci-junit-upload-shim-native-deprecated--c316f55cfrom

devs/jd/worktree-rust-port/prefer-github-actions-pr-event-head-sha-over--99912b55Mergifyio/mergify-cli:devs/jd/worktree-rust-port/prefer-github-actions-pr-event-head-sha-over--99912b55Copy head branch name to clipboard