Use GITHUB_TOKEN secret to push pages

Author: pblottiere

.github/workflows/build-deploy-docs.yml

@@ -1,8 +1,6 @@
 name: Documentation
 
 on:
-  push:
-    branches: [ main ]
 
 jobs:
   build-docs:
@@ -22,6 +20,6 @@ jobs:
         uses: peaceiris/actions-gh-pages@v3
         if: github.ref == 'refs/heads/main'
         with:
-          deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
+          deploy_key: ${{ secrets.GITHUB_TOKEN }}
           publish_branch: gh-pages
           publish_dir: ./docs/build