From 1b78912b20372c8fa4f079bdcb8cd0055959a27a Mon Sep 17 00:00:00 2001
From: Mike Edmunds <medmunds@gmail.com>
Date: Tue, 12 Mar 2024 12:22:43 -0700
Subject: [PATCH] CD: fix release workflow permissions

(Note: v10.3 *was* released successfully,
but the workflow failed to update
the GitHub Releases page at the end
due to token permission problems.)
---
 .github/workflows/release.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index fd46028..5625f10 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -21,6 +21,9 @@ jobs:
   release:
     runs-on: ubuntu-20.04
     environment: release
+    permissions:
+      # `gh release` requires write permission on repo contents
+      contents: write
     steps:
       - name: Get code
         uses: actions/checkout@v3