Merge pull request #460 from ukkopahis/20211214-workflow-github_token

use GITHUB_TOKEN for better security

Author: Slyke

.github/workflows/main.yml

@@ -15,4 +15,4 @@ jobs:
       - name: Deploy docs
         uses: mhausenblas/mkdocs-deploy-gh-pages@master
         env:
-          PERSONAL_TOKEN: ${{ secrets.PERSONAL_TOKEN }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}