Use default token

Turns out terminal prompts disabled means the PAT is invalid.
arangodb · May 15, 2024 · a535d89 · a535d89
1 parent db6b58c
commit a535d89
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/.github/workflows/docs.yml b/.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 }}
diff --git a/.github/workflows/tests.yml b/.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