CI: Fix workflow not being able to update a pull-request

should work now, though untested

Signed-off-by: Knut Ahlers <knut@ahlers.me>
This commit is contained in:
Knut Ahlers 2024-10-28 11:00:58 +01:00
parent 0049bc03ce
commit 314af1a5f6
No known key found for this signature in database

View File

@ -2,7 +2,12 @@
name: pull-request-ci name: pull-request-ci
on: on:
pull_request: pull_request_target:
types: ["opened", "synchronize", "reopened", "labeled", "unlabeled"]
branches: ["main"]
permissions:
contents: write
jobs: jobs:
generate-translations: generate-translations:
@ -18,12 +23,11 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
permissions:
# required to push a commit
contents: write
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v4
with:
ref: ${{ github.event.pull_request.head.ref }}
repository: ${{ github.event.pull_request.head.repo.full_name }}
- name: Marking workdir safe - name: Marking workdir safe
run: git config --global --add safe.directory /__w/ots/ots run: git config --global --add safe.directory /__w/ots/ots