Fix: Use personal_token instead of github_token for external repo deployment

Copilot · PhenX · Copilot · commit af718d16d8f9 · 2025-11-19T21:58:07.000Z
Co-authored-by: PhenX &lt;42170+PhenX@users.noreply.github.com&gt;
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -44,7 +44,7 @@ jobs:
       - name: Deploy to GitHub Pages
         uses: peaceiris/actions-gh-pages@v4
         with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
+          personal_token: ${{ secrets.GH_PAT }}
           publish_dir: ./docs-website/.vitepress/dist
           external_repository: fluentmigrator/fluentmigrator.github.io
           publish_branch: main
