Merge 89616df839 into 08c6903cd8

Undo head.ref to head.sha change
That'd actually introduce a potential race condition.
2025-08-23 10:48:01 +03:00 · 2025-08-13 10:04:13 +00:00 · 2025-08-13 12:04:09 +02:00
1 changed files with 2 additions and 2 deletions
--- a/README.md
+++ b/README.md
@ -277,12 +277,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@v5
  with:
-    ref: ${{ github.event.pull_request.head.ref }}
+    ref: ${{ github.event.pull_request.head.sha }}
 ```

 ## Checkout pull request on closed event
Author	SHA1	Message	Date
David Zülke	038edc18aa	Merge `89616df839` into `08c6903cd8`	2025-08-13 10:04:13 +00:00
David Zülke	89616df839	Undo head.ref to head.sha change That'd actually introduce a potential race condition.	2025-08-13 12:04:09 +02:00