From 2645df7fcee0fdc6abb95b69dc207ca5c961acd3 Mon Sep 17 00:00:00 2001
From: Turadg Aleahmad <turadg@agoric.com>
Date: Tue, 5 Dec 2023 14:50:35 -0800
Subject: [PATCH] ci: fix master branch name for docs

---
 .github/workflows/typedoc-gh-pages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/typedoc-gh-pages.yml b/.github/workflows/typedoc-gh-pages.yml
index d53631812a..1e8c2f9eb7 100644
--- a/.github/workflows/typedoc-gh-pages.yml
+++ b/.github/workflows/typedoc-gh-pages.yml
@@ -4,7 +4,7 @@ name: Deploy TypeDoc site with GitHub Pages
 
 on:
   push:
-    branches: [main]
+    branches: [master]
   # Allow running this workflow manually from the Actions tab
   workflow_dispatch: