From 07745f7fc5c6997d93c7f0d9a9507f91bb7ae8a8 Mon Sep 17 00:00:00 2001 From: Doxa Maps Date: Thu, 1 Oct 2026 16:27:05 +0000 Subject: [PATCH] B21 (1/2): the GitHub Pages workflow moves into the docs, so it never runs by itself .github/workflows/pages.yml is now documentation/deploy/github-pages.workflow.yml, with a one-line README beside it: copy it into .github/workflows/ in your own repository to deploy to GitHub Pages. Nothing referenced the old path. The repo carries no .github/ folder any more, so a host never runs it automatically. --- documentation/deploy/README.md | 3 +++ .../deploy/github-pages.workflow.yml | 0 2 files changed, 3 insertions(+) create mode 100644 documentation/deploy/README.md rename .github/workflows/pages.yml => documentation/deploy/github-pages.workflow.yml (100%) diff --git a/documentation/deploy/README.md b/documentation/deploy/README.md new file mode 100644 index 000000000..1ebb04a3e --- /dev/null +++ b/documentation/deploy/README.md @@ -0,0 +1,3 @@ +# Deploy workflows + +To deploy to GitHub Pages, copy `github-pages.workflow.yml` into `.github/workflows/` in your own repository. diff --git a/.github/workflows/pages.yml b/documentation/deploy/github-pages.workflow.yml similarity index 100% rename from .github/workflows/pages.yml rename to documentation/deploy/github-pages.workflow.yml