Merge a8f4e2308428f62eef16de58f5b95dc3064931e7 into 09d2acae674a48949e3602304ab46fd20ae0c42f

This commit is contained in:
ADTC 2025-06-10 13:51:03 -04:00 committed by GitHub
commit 1b4c4f6c32
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -160,6 +160,7 @@ 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)
@ -287,6 +288,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