From c48a65b1fa850dc2ccbf97ac1509b44f4de80763 Mon Sep 17 00:00:00 2001
From: jpinxten <32900013+jpinxten@users.noreply.github.com>
Date: Thu, 1 Feb 2024 16:23:56 +0100
Subject: [PATCH] Update gh-pages-docs.yml

---
 .github/workflows/gh-pages-docs.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/gh-pages-docs.yml b/.github/workflows/gh-pages-docs.yml
index 9919a5d..c12ed48 100644
--- a/.github/workflows/gh-pages-docs.yml
+++ b/.github/workflows/gh-pages-docs.yml
@@ -2,8 +2,9 @@ name: Generate docs
 
 on: [push, pull_request, workflow_dispatch]
 
-permissions:
-  contents: write
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
 
 jobs:
   pages:
@@ -14,7 +15,7 @@ jobs:
     permissions:
       pages: write
       id-token: write
-      contents: read
+      contents: write
     steps:
     - id: deployment
       uses: sphinx-notes/pages@v3