From 7d323b32d8c1168e3a625158525e2c210d198b62 Mon Sep 17 00:00:00 2001
From: Hugo Slepicka <hhslepicka@users.noreply.github.com>
Date: Sat, 15 Jul 2023 10:11:29 -0700
Subject: [PATCH] CI: Fix permission for push to gh-pages.

---
 .github/workflows/gh-pages.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index 4f09173..1a6bf0d 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -6,6 +6,9 @@ on:
   pull_request:
     branches:
       - '**'
+
+permissions: write-all
+
 jobs:
   deploy:
     runs-on: ${{ matrix.os }}