From 09396301db63f705cb56431c843c2c2e4617c04e Mon Sep 17 00:00:00 2001
From: "Jens H. Nielsen" <Jens.Nielsen@microsoft.com>
Date: Tue, 30 Jan 2024 10:16:49 +0100
Subject: [PATCH] allow push to gh-pages

---
 .github/workflows/docs.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 0ea12ac911a..49a2da7ec09 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -15,7 +15,7 @@ on:
     branches: ['main']
 
 permissions:
-  contents: read
+  contents: write  # we need to be allowed to push to gh-pages
 
 jobs:
   builddocs: