Add write permission

Author: stackoverflow

.github/index.pkl

@@ -65,6 +65,9 @@ local testJob: Workflow.Job = new {
 local publishJob: Workflow.Job = new {
   name = "Generate and publish docs"
   `runs-on` = "ubuntu-latest"
+  permissions {
+    contents = "write"
+  }
   steps {
     new Common.Checkout {
       with {

.github/workflows/main.yml

@@ -16,6 +16,8 @@ permissions:
 jobs:
   build-and-publish-docs:
     name: Generate and publish docs
+    permissions:
+      contents: write
     runs-on: ubuntu-latest
     steps:
     - uses: actions/checkout@v5