From 510be792a78cb1115198df8953517b8bea2d2271 Mon Sep 17 00:00:00 2001
From: Jo Booth <jo.m.booth@gmail.com>
Date: Thu, 11 Sep 2025 22:07:09 -0400
Subject: [PATCH] Disable push trigger for Publish Docs workflow

---
 .github/workflows/publish_docs.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml
index 9fd71be..dcbcc80 100644
--- a/.github/workflows/publish_docs.yml
+++ b/.github/workflows/publish_docs.yml
@@ -1,9 +1,10 @@
 name: "Publish Docs"
 
 on:
-  push:
-    branches:
-      - master
+  # TODO(jo): uncomment when we no longer worried about bad docs deployments
+  #   branches:
+  #     - master
+  workflow_dispatch:
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.sha }}