Revert "GitHub Actions: deploy docs for each push on main"

This reverts commit 992968c.

Not working :(

Author: dmerejkowsky

.github/workflows/doc.yml

@@ -32,10 +32,3 @@ jobs:
     - name: Build documentation
       run: |
         just build-doc
-
-    - name: Deploy to GitHub pages
-      uses: JamesIves/github-pages-deploy-action@v4.3.3
-      with:
-        token: ${{ secrets.GH_PAT }}
-        branch: gh-pages
-        folder: docs/_build/html/