ci: run Main on pushes to stage and Integration on PRs into stage

Author: LukasGold

.github/workflows/integration.yml

@@ -2,16 +2,17 @@
 # INTEGR_TEST_* secrets; where they are unavailable (e.g. forks), the
 # credential fixtures make the tests skip instead of fail.
 #
-# Runs on every pull request into main, so breaking changes surface before the
-# release job (gated separately by required review on the pypi environment)
-# ever starts. No push trigger: a push to main is already covered by the PR
-# that preceded it, so a second run would add nothing.
+# Runs on every pull request into main or stage, so breaking changes surface
+# before the release job (gated separately by required review on the pypi
+# environment) ever starts. stage collects reviewed pull requests before they
+# go to main together. No push trigger: a push to main is already covered by
+# the PR that preceded it, so a second run would add nothing.
 
 name: Integration
 
 on:
   pull_request:
-    branches: [main]
+    branches: [main, stage]
   workflow_dispatch:
 
 concurrency:

.github/workflows/main.yml

@@ -2,7 +2,7 @@ name: Main
 
 on:
   push:
-    branches: [main]
+    branches: [main, stage]
   pull_request:
     types: [opened, synchronize, reopened, ready_for_review]
   workflow_dispatch:

docs/dev.md

@@ -66,8 +66,8 @@ excluded by default:
 
 Integration tests run against a live wiki and need credentials; tests
 whose credentials are missing skip instead of fail. CI runs them on every
-pull request into `main` (workflow `integration.yml`), so they gate the
-release rather than run after it.
+pull request into `main` or `stage` (workflow `integration.yml`), so they
+gate the release rather than run after it.
 
 === "make"