doc: clarify the behavior of a pull_request event

This commit is contained in:
cjc7373 2024-02-27 18:03:06 +08:00 committed by GitHub
parent b32f140b0c
commit 96e67d5384
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions

View File

@ -243,6 +243,8 @@ Please refer to the [release page](https://github.com/actions/checkout/releases/
## Checkout pull request HEAD commit instead of merge commit
The default behavior of a `pull_request` event is to checkout to a ref that already merged your branch into the base branch (So don't be surprised to see the SHA checked out doesn't match your local HEAD SHA). You can change that to checkout your pull request's HEAD by:
```yaml
- uses: actions/checkout@v4
with: