Hmmm

.github/workflows/docs.yaml

@@ -28,6 +28,8 @@ jobs:
         uses: actions/checkout@v4.1.1
         with:
           token: ${{ secrets.WORKFLOW_UPDATE_GITHUB_PAT || secrets.GITHUB_TOKEN }}
+          fetch-depth: 0
+
       - name: Sync from template repo
         id: template_sync
         uses: AndreasAugustin/actions-template-sync@v1.8.1
@@ -43,14 +45,12 @@ jobs:
         run: |
           echo "PR branch ID: ${{ steps.template_sync.outputs.pr_branch }}"
 
-      #- name: Checkout new template sync branch
-      #  uses: actions/checkout@v4.1.1
-      #  with:
-      #    token: ${{ secrets.WORKFLOW_UPDATE_GITHUB_PAT || secrets.GITHUB_TOKEN }}
-      #    ref: ${{ steps.template_sync.outputs.pr_branch }}
-
-      - run: |
-          git checkout ${{ steps.template_sync.outputs.pr_branch }}
+      - name: Checkout new template sync branch
+        uses: actions/checkout@v4.1.1
+        with:
+          token: ${{ secrets.WORKFLOW_UPDATE_GITHUB_PAT || secrets.GITHUB_TOKEN }}
+          ref: ${{ steps.template_sync.outputs.pr_branch }}
+          fetch-depth: 0
 
       # XXX We cannot rely on peter-evans/create-pull-request to manage the push of the new commit to the PR, as it
       # ends up with a: "Unexpected error: fatal: could not open '.git/COMMIT_EDITMSG': Permission denied".