Merge a8f4e2308428f62eef16de58f5b95dc3064931e7 into b4ffde65f46336ab88eb53be808477a3936bae11

This commit is contained in:
ADTC 2023-10-18 17:57:57 +03:00 committed by GitHub
commit fed29eb9ba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -137,6 +137,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)
## Fetch only the root files
@ -263,6 +264,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