From 0a076a1de9655dd5c6aad684e87fb263e8fde925 Mon Sep 17 00:00:00 2001
From: Carl Gay <carlgay@gmail.com>
Date: Sat, 14 Oct 2023 01:20:22 +0000
Subject: [PATCH] Add permissions stanza to build-docs.yml

---
 .github/workflows/build-docs.yml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-docs.yml b/.github/workflows/build-docs.yml
index 7cf6dee..385f5fa 100644
--- a/.github/workflows/build-docs.yml
+++ b/.github/workflows/build-docs.yml
@@ -9,10 +9,14 @@ on:
     # all branches
     paths:
       - 'documentation/**'
-      
+
   # This enables the Run Workflow button on the Actions tab.
   workflow_dispatch:
 
+# https://github.com/JamesIves/github-pages-deploy-action#readme
+permissions:
+    contents: write
+
 # Set DYLAN environment variable to GITHUB_WORKSPACE so packages are
 # installed in ../../_packages relative to documentation's Makefile
 env: