From 0b10c3fb433c3ade7bfd3c89b17f1cf959a16c0b Mon Sep 17 00:00:00 2001
From: Edward Thomson <ethomson@edwardthomson.com>
Date: Sat, 16 Dec 2023 14:39:29 +0000
Subject: [PATCH] ci: allow workflows to push changes

Our workflows push documentation changes; ensure that they are allowed
to do so.
---
 .github/workflows/main.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index f341a9cd274..bafffdc1fc8 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -14,7 +14,7 @@ env:
   docker-config-path: source/ci/docker
 
 permissions:
-  contents: read
+  contents: write
   packages: write
 
 jobs: