Revert "use bot token again"

This reverts commit 7ccc82b.
MarcelKoch · Nov 13, 2023 · 5784ea6 · 5784ea6
1 parent b391b77
commit 5784ea6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/bot-pr-comment.yml b/.github/workflows/bot-pr-comment.yml
@@ -35,7 +35,7 @@ jobs:
         persist-credentials: false
     - name: Commit formatting changes
       env:
-        GITHUB_TOKEN: ${{ secrets.BOT_TOKEN }}
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       run: cp --preserve .github/format.sh /tmp && /tmp/format.sh
 
   rebase:

diff --git a/.github/workflows/check-formatting.yml b/.github/workflows/check-formatting.yml
@@ -13,7 +13,7 @@ jobs:
         run: cp .github/check-format.sh /tmp && /tmp/check-format.sh
         id: pre-commit
         env:
-          GITHUB_TOKEN: ${{ secrets.BOT_TOKEN }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       - name: Upload code formatting patch
         if: ${{ failure() && steps.pre-commit.outcome == 'failure' }}
         uses: actions/upload-artifact@v3