From 93b4e395ea8b44e5dac6cda730d32e9a26dc35d7 Mon Sep 17 00:00:00 2001 From: Nicholas Wilson Date: Mon, 13 Jan 2025 09:05:49 +0000 Subject: [PATCH] Correction to CI config --- .github/workflows/dev.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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