diff --git a/.github/workflows/dev.yml b/.github/workflows/dev.yml index 9af55fff0..40d2fd372 100644 --- a/.github/workflows/dev.yml +++ b/.github/workflows/dev.yml @@ -459,7 +459,8 @@ jobs: fetch-tags: false # Check out the unmerged source branch for `pull_request`-triggered runs; # otherwise use the tip of the branch for `workflow_dispatch` and `pull` triggers. - ref: ${{ github.head_ref || github.ref }} + ref: ${{ github.event.pull_request.head.ref || github.ref }} + repository: ${{ github.event.pull_request.head.repo.full_name || github.repository }} - name: PrepareRelease run: maint/PrepareRelease @@ -485,6 +486,6 @@ jobs: git config user.name "github-actions[bot]" git config user.email "41898282+github-actions[bot]@users.noreply.github.com" git add -u - git commit -m "Sync autogenerated files" + git commit -m "Sync autogenerated files #noupdate" git push fi