Correction to CI config (#669)

Author: NWilson

.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