From b292d5a218701802b6575c5a93386a5dcbf16c93 Mon Sep 17 00:00:00 2001
From: Mike Urbach <mikeurbach@gmail.com>
Date: Wed, 21 Feb 2024 16:57:10 -0700
Subject: [PATCH] [CD] Request permissions to push to gh-pages branch.

The GITHUB_TOKEN used to have lots of privileges, but this has now
been locked down, so we need to explicitly request write permission
for contents to be able to push to the gh-pages branch.
---
 .github/workflows/main.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 807f5cef3a9..10eb978ef80 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -14,6 +14,9 @@ jobs:
   build-deploy:
     name: Build CIRCT website
     runs-on: ubuntu-latest
+    # Request permissions to push to gh-pages branch.
+    permissions:
+      contents: write
     steps:
       - uses: actions/checkout@v1