Actions/checkout
0
Fork 0
mirror of https://github.com/actions/checkout.git synced 2025-10-31 16:13:36 +00:00
Code

Undo head.ref to head.sha change

Browse Source 
That'd actually introduce a potential race condition.
This commit is contained in:
David Zülke 2025-08-13 12:04:09 +02:00 committed by GitHub
parent 2b2b6d210d
commit 89616df839
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -265,12 +265,12 @@ Please refer to the [release page](https://github.com/actions/checkout/releases/
> - `${{ github.token }}` is scoped to the current repository, so if you want to checkout a different repository that is private you will need to provide your own [PAT](https://help.github.com/en/github/authenticating-to-github/creating-a-personal-access-token-for-the-command-line).
## Checkout pull request HEAD instead of merge commit
## Checkout pull request HEAD commit instead of merge commit
```yaml
- uses: actions/checkout@v4
with:
ref: ${{ github.event.pull_request.head.ref }}
ref: ${{ github.event.pull_request.head.sha }}
```
## Checkout pull request on closed event