Revert "Trying to fix github actions when merging to main"

The GH_PAT was indeed necessary so I created it and added it to the
repo's secrets

Author: guspix

.github/workflows/docs.yml

@@ -27,7 +27,7 @@ jobs:
         if: github.event_name != 'pull_request'
         uses: actions/checkout@v4
         with:
-          token: ${{ secrets.GITHUB_TOKEN }}
+          token: ${{ secrets.GH_PAT }}
 
       - name: Checkout without token
         if: github.event_name == 'pull_request'