feat: report the pull request's commit when CI checks out a merge commit - #9

Merged

agoldis merged 4 commits into

agoldis/eng-934-pull-request-head-commit

Sep 23, 2026

Commits on Sep 23, 2026

feat: report the pull request's commit when CI checks out a merge commit

agoldis
and
claude
committed
65acdde
test: check the pull request commit on real GitHub checkouts

agoldis
and
claude
committed
1152644
test: trust the checkout in the git 2.25 container

agoldis
and
claude
committed
5e02907
fix: only replace a checked-out merge commit with the pull request's commit

agoldis
and
claude
committed
2408742