ci: rm redundant?

Author: srid

.github/workflows/publish.yaml

@@ -28,10 +28,6 @@ jobs:
 
   # Deployment job
   deploy:
-    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
-    permissions:
-      pages: write # to deploy to Pages
-      id-token: write # to verify the deployment originates from an appropriate source
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}