From 26d37171694cc9cf5854b44cc8e34df14e135fd0 Mon Sep 17 00:00:00 2001
From: a1518 <a1518@local>
Date: Thu, 2 Jul 2026 23:34:48 -0700
Subject: [PATCH] Fix GitHub Pages deploy workflow permissions and branch
 trigger

- Change trigger branch from main to 0.4.0
- Upgrade contents permission from read to write for gh-pages push
- Also trigger on workflow file changes

Co-authored-by: Cursor <cursoragent@cursor.com>
---
 .github/workflows/deploy-docs.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
index c2dffd2..b938a5c 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -2,13 +2,14 @@ name: Deploy Docs to GitHub Pages
 
 on:
   push:
-    branches: [main]
+    branches: [0.4.0, main]
     paths:
       - 'docs/**'
+      - '.github/workflows/deploy-docs.yml'
   workflow_dispatch:
 
 permissions:
-  contents: read
+  contents: write
   pages: write
   id-token: write