From 7b88266f7736a173241f54d48e1560cc577f3f8e Mon Sep 17 00:00:00 2001
From: Janne Valkealahti <janne.valkealahti@gmail.com>
Date: Mon, 17 Apr 2023 13:19:42 +0100
Subject: [PATCH] Change permissions in deploy docs workflow

- Workflow dispatch needs write access to actions.
- Relates #166
---
 .github/workflows/deploy-docs.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
index dee05a8..ba1bdf5 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -2,7 +2,8 @@ name: Deploy Docs
 on:
   workflow_dispatch:
 
-permissions: read-all
+permissions:
+  actions: write
 jobs:
   build:
     runs-on: ubuntu-latest