Compare commits

...

2 commits

Author SHA1 Message Date
ADTC
54baf0a13c
Merge a8f4e23084 into cbb722410c 2024-11-24 14:18:59 +02:00
ADTC
a8f4e23084
Add to README how to checkout PR in issue_comment event
Closes #331
2023-03-27 01:42:09 +08:00

View file

@ -142,6 +142,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)
@ -269,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