From 9ca83019403488427fdc18d1cb40afcb83f9c8fe Mon Sep 17 00:00:00 2001
From: Kjartan Thor Wikfeldt <wikfeldt@users.noreply.github.com>
Date: Mon, 11 Sep 2023 19:06:40 +0200
Subject: [PATCH] add write permissions to build-and-deploy job

otherwise sphinx-build fails with permission error, probably due to recent GitHub changes
---
 .github/workflows/sphinx.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/sphinx.yml b/.github/workflows/sphinx.yml
index c749680..b371d7d 100644
--- a/.github/workflows/sphinx.yml
+++ b/.github/workflows/sphinx.yml
@@ -12,6 +12,8 @@ jobs:
   build-and-deploy:
     name: Build and gh-pages
     runs-on: ubuntu-latest
+    permissions:
+      contents: write    
     steps:
       # https://github.com/marketplace/actions/checkout
       - uses: actions/checkout@v3