Disable automatic preview deploys

Author: robbenplus

.github/workflows/preview-pages.yml

@@ -1,9 +1,6 @@
 name: Deploy Preview Pages
 
 on:
-  push:
-    branches:
-      - docs-autoresearch-preview
   workflow_dispatch:
 
 permissions:

AGENTS.md

@@ -21,17 +21,18 @@ pick up immediately.
 - `main` is the production branch.
 - Pushing `main` triggers [`.github/workflows/deploy-pages.yml`](./.github/workflows/deploy-pages.yml)
   and deploys the production GitHub Pages site.
-- `docs-autoresearch-preview` is a preview branch.
-- Pushing `docs-autoresearch-preview` triggers
-  [`.github/workflows/preview-pages.yml`](./.github/workflows/preview-pages.yml),
-  which publishes a preview build under the Pages preview subpath while keeping
-  the root site aligned with `main`.
+- `docs-autoresearch-preview` remains the preview branch name, but its Pages
+  workflow is currently manual-only.
+- [`.github/workflows/preview-pages.yml`](./.github/workflows/preview-pages.yml)
+  can still publish a preview build under the Pages preview subpath while
+  keeping the root site aligned with `main`, but someone must trigger it
+  explicitly from the Actions UI.
 
 ## Practical rule
 
-- The normal order is: edit locally -> test locally -> push preview branch if
-  needed -> review -> merge or port to `main` -> let GitHub Pages deploy
-  production.
+- The normal order is: edit locally -> test locally -> if a preview is needed,
+  trigger the preview workflow manually -> review -> merge or port to `main` ->
+  let GitHub Pages deploy production.
 - Uncommitted local changes are not deployed.
 - A commit sitting only on `docs-autoresearch-preview` is not the same thing as
   production deployment.

README.md

@@ -81,7 +81,7 @@ This repo is configured for GitHub Pages deployment:
 
 1. Make and test changes locally first
 2. Run `npm run build` before claiming the site is ready
-3. Push `docs-autoresearch-preview` if you want a preview deployment
+3. Trigger the preview workflow manually if you want a preview deployment
 4. Push or merge to `main` when you want the production site updated
 5. In GitHub repo settings, set `Pages` source to `GitHub Actions`
 
@@ -93,8 +93,8 @@ Notes:
   before treating the change as ready.
 - Production deploys are triggered by `.github/workflows/deploy-pages.yml` on
   pushes to `main`.
-- Preview deploys are triggered by `.github/workflows/preview-pages.yml` on
-  pushes to `docs-autoresearch-preview`.
+- Preview deploys are currently manual-only through
+  `.github/workflows/preview-pages.yml`.
 - The intended workflow is local preview first, GitHub preview second,
   production deploy last.