From de141651ad9fb9f58e7b78e383edf263eaa549d1 Mon Sep 17 00:00:00 2001
From: Tim Allen <tim.allen@cloudkubed.com>
Date: Fri, 5 Apr 2024 12:42:03 +0100
Subject: [PATCH] Documentation Pipeline Fix (#3898)

add in permissions to pipeline
---
 .github/workflows/build_docs.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build_docs.yml b/.github/workflows/build_docs.yml
index 8cbfc132a7..b41c381973 100644
--- a/.github/workflows/build_docs.yml
+++ b/.github/workflows/build_docs.yml
@@ -6,7 +6,7 @@ on:
     types: [published]
   push:
     paths:
-      - 'docs/**'
+      - "docs/**"
       - mkdocs.yml
     branches:
       - main
@@ -14,6 +14,8 @@ jobs:
   deploy:
     name: Deploy Documentation
     runs-on: ubuntu-latest
+    permissions:
+      contents: write
     steps:
       - name: Checkout main
         uses: actions/checkout@v3
@@ -27,7 +29,7 @@ jobs:
         run: |
           pip install -r docs/requirements.txt
       - name: Configure Git User
-      # Required by mike for the commit it does to the gh-pages branch
+        # Required by mike for the commit it does to the gh-pages branch
         run: |
           git config user.name "ci-docs"
           git config user.email "ci-docs@dummy.com"