From 723c95d5b358728313902fa98ddd9c7d99ef0652 Mon Sep 17 00:00:00 2001
From: egguy <etienne.guilluy@gmail.com>
Date: Wed, 8 Nov 2023 23:34:40 +1100
Subject: [PATCH] Add the last permission to allow writing in the repo.

---
 .github/workflows/docs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 70dd002..0e2eb07 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -21,6 +21,7 @@ jobs:
     permissions:
       pages: write      # to deploy to Pages
       id-token: write   # to verify the deployment, originates from an appropriate source
+      contents: write
 
     steps:
       - uses: actions/checkout@v4