From 013115f3954b6d870294d6f3c524fd2d8a32859d Mon Sep 17 00:00:00 2001
From: Dave Cramer <davecramer@gmail.com>
Date: Tue, 27 Oct 2026 11:27:16 -0400
Subject: [PATCH] ci: add a placeholder docs deploy workflow

A workflow_dispatch workflow can only be started once its file is on
the default branch. This registers docs-deploy.yml so that the real
deploy, which will publish the website to S3 and CloudFront, can be
started on another branch before it is merged. The placeholder job
runs false, so a run of it fails.

Assisted-By: Claude
---
 .github/workflows/docs-deploy.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 .github/workflows/docs-deploy.yml

diff --git a/.github/workflows/docs-deploy.yml b/.github/workflows/docs-deploy.yml
new file mode 100644
index 00000000..96a2a48a
--- /dev/null
+++ b/.github/workflows/docs-deploy.yml
@@ -0,0 +1,16 @@
+name: Deploy Website
+
+on:
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+    steps:
+      # Placeholder so that GitHub registers the workflow and it can be started
+      # on another branch. The real deploy replaces this.
+      - name: Placeholder
+        run: "false"