Merge a8f4e2308428f62eef16de58f5b95dc3064931e7 into 3b9b8c884f6b4bb4d5be2779c26374abadae0871

Add a scenario where it is necessary to push a commit to a pull request.

README.md

@@ -142,7 +142,9 @@ Please refer to the [release page](https://github.com/actions/checkout/releases/
 - [Checkout multiple repos (private)](#Checkout-multiple-repos-private)
 - [Checkout pull request HEAD commit instead of merge commit](#Checkout-pull-request-HEAD-commit-instead-of-merge-commit)
 - [Checkout pull request on closed event](#Checkout-pull-request-on-closed-event)
+- [Checkout pull request on `issue_comment` event](#Checkout-pull-request-on-issue_comment-event)
 - [Push a commit using the built-in token](#Push-a-commit-using-the-built-in-token)
+- [Push a commit to a PR using the built-in token](#Push-a-commit-to-a-PR-using-the-built-in-token)
 
 ## Fetch only the root files
 
@@ -268,6 +270,16 @@ jobs:
       - uses: actions/checkout@v4
 ```
 
+## Checkout pull request on `issue_comment` event
+
+**Note:** The job must check if the issue is a pull request using `if: github.event.issue.pull_request` which skips it otherwise.
+
+```yaml
+- uses: actions/checkout@v3
+  with:
+    ref: refs/pull/${{ github.event.issue.number }}/head
+```
+
 ## Push a commit using the built-in token
 
 ```yaml
@@ -288,6 +300,31 @@ jobs:
 ```
 *NOTE:* The user email is `{user.id}+{user.login}@users.noreply.github.com`. See users API: https://api.github.com/users/github-actions%5Bbot%5D
 
+## Push a commit to a PR using the built-in token
+
+In a pull request trigger, `ref` is required as GitHub Actions checks out in detached HEAD mode, meaning it doesn’t check out your branch by default.
+
+```yaml
+on: pull_request
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          ref: ${{ github.head_ref }}
+      - run: |
+          date > generated.txt
+          # Note: the following account information will not work on GHES
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
+          git add .
+          git commit -m "generated"
+          git push
+```
+*NOTE:* The user email is `{user.id}+{user.login}@users.noreply.github.com`. See users API: https://api.github.com/users/github-actions%5Bbot%5D
+
+
 # License
 
 The scripts and documentation in this project are released under the [MIT License](LICENSE)