Use default token

Turns out terminal prompts disabled means the PAT is invalid.

Author: pluma

.github/workflows/docs.yml

@@ -85,4 +85,4 @@ jobs:
           ref: gh-pages
           message: Update ${{ env.TAG }} docs via ${{ github.sha }}
         env:
-          GITHUB_TOKEN: ${{ secrets.GH_TOKEN }}
+          GITHUB_TOKEN: ${{ github.token }}

.github/workflows/tests.yml

@@ -81,9 +81,7 @@ jobs:
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
-          token: ${{ secrets.GH_TOKEN }}
+          token: ${{ github.token }}
       - run: |
-          git config --global user.name "GitHub Actions"
-          git config --global user.email "github-actions[bot]@users.noreply.github.com"
           git fetch . HEAD:stable
           git push -f origin stable