ci: use pat

Author: jcs090218

.github/workflows/docs.yml

@@ -11,9 +11,6 @@ concurrency:
   group: ${{ github.workflow }}-${{ github.ref }}
   cancel-in-progress: true
 
-permissions:
-  contents: write
-
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -32,7 +29,7 @@ jobs:
       with:
         path: 'gh-pages'
         ref: gh-pages
-        token: ${{ secrets.GITHUB_TOKEN }}
+        tokeb: ${{ secrets.PAT }}
 
     - name: Move .git to build
       run: mv './gh-pages/.git' './build'
@@ -41,8 +38,8 @@ jobs:
       continue-on-error: true
       run: |
         cd './build'
-        git config user.name "github-actions[bot]"
-        git config user.email "github-actions[bot]@users.noreply.github.com"
+        git config user.name github-actions
+        git config user.email github-actions@github.com
         git add .
         git commit -m "Update pages"
         git push