ci: give workflow permission to push to github pages

jaisw7 · jaisw7 · commit 97c4ccb150b7 · 2025-12-19T04:42:18.000-05:00
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -9,7 +9,7 @@ on:
       - "src/**"
 
 permissions:
-  contents: read
+  contents: write
   pages: write
   id-token: write
 
