Use personal access token

Because of JamesIves/github-pages-deploy-action#5

Author: c24t

.github/workflows/docs.yml

@@ -18,6 +18,6 @@ jobs:
     - name: Publish to gh-pages
       uses: JamesIves/[email protected]
       env:
-        ACCESS_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        ACCESS_TOKEN: ${{ secrets.DocsPushToken }}
         BRANCH: gh-pages
         FOLDER: docs/_build/html/