0
1
Fork 0

Add to README how to checkout PR in issue_comment event

Closes #331
This commit is contained in:
ADTC 2023-03-27 01:42:09 +08:00 committed by GitHub
parent 8f4b7f8486
commit a8f4e23084
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 0 deletions

View File

@ -114,6 +114,7 @@ When Git 2.18 or higher is not in your PATH, falls back to the REST API to downl
- [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 all history for all tags and branches
@ -212,6 +213,16 @@ jobs:
- uses: actions/checkout@v3
```
## 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