ci(docs): grant contents:write (mike pushes gh-pages)

Author: localpibox

.github/workflows/docs-publish.yml

@@ -33,6 +33,10 @@ on:
         required: false
         default: "latest"
 
+# mike pushes the gh-pages branch
+permissions:
+  contents: write
+
 # dev + main pipelines can both cut versions — serialize gh-pages deploys
 concurrency:
   group: docs-deploy