fix: use CI_GITHUB_TOKEN in workflows if present

Author: hartmut-co-uk

.github/workflows/0.initial.migrate-repo-template.yml

@@ -63,6 +63,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           ref: main
+          token: ${{ secrets.CI_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}
 
       - name: Migrate
         env:

.github/workflows/callable.publish-javadoc.yml

@@ -1,12 +1,12 @@
-name: Deploy Javadoc
+name: Publish javadoc (GitHub Pages)
 
 on:
   workflow_dispatch:
   workflow_call:
 
 jobs:
   build_package_javadoc:
-    name: Generate javadoc
+    name: Generate Javadoc
     runs-on: ubuntu-latest
     permissions:
       contents: write
@@ -62,7 +62,8 @@ jobs:
         uses: actions/checkout@v4
         with:
           ref: main
-          token: ${{ secrets.GITHUB_TOKEN }}
+          token: ${{ secrets.CI_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}
+
       - name: Checkout or create empty branch 'gh-pages'
         run: |
           git fetch origin gh-pages || true