Merge f16eddee8410930a20309c41063631c4177643a5 into b4ffde65f46336ab88eb53be808477a3936bae11

This commit is contained in:
ylemkimon 2023-10-19 17:58:09 +02:00 committed by GitHub
commit a4e6e3fee4
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 `pull_request_target`](#Checkout-pull-request-on-pull_request_target)
- [Push a commit using the built-in token](#Push-a-commit-using-the-built-in-token)
## Fetch only the root files
@ -263,6 +264,22 @@ jobs:
- uses: actions/checkout@v4
```
## Checkout pull request on `pull_request_target`
```yaml
on:
- pull_request_target
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
with:
ref: refs/pull/${{ github.event.pull_request.number }}/merge
```
**WARNING! NEVER** run code from pull requests of public repositories! The token of `pull_request_target` event has write access.
## Push a commit using the built-in token
```yaml