Merge branch 'main' into remove_duplicate_permission

This commit is contained in:
Ludy 2024-12-21 17:06:27 +01:00 committed by GitHub
commit e0d37d2e10
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -31,7 +31,7 @@ jobs:
uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
with:
repository: ${{ github.event.pull_request.head.repo.full_name }}
ref: ${{ github.event.pull_request.head.ref }}
ref: refs/pull/${{ github.event.pull_request.number }}/merge
path: pr-branch
fetch-depth: 0