From 89616df8394cc308d0d449bf3a9ef1c9f144e7c2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20Z=C3=BClke?= <dzuelke@gmail.com>
Date: Wed, 13 Aug 2025 12:04:09 +0200
Subject: [PATCH] Undo head.ref to head.sha change

That'd actually introduce a potential race condition.
---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index be08890..84b78e9 100644
--- a/README.md
+++ b/README.md
@@ -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