Promote-knappen: udrulning med eet klik via workflow_dispatch

Merge til main er kvalitetsgaten; promote er udrulningsgaten - og
udrulningsgaten skal ikke kraeve en git-klon og fire kommandoer, isaer
ikke fra en strandkant. Actions -> Promote to stable -> Run workflow:

- Naegter at koere hvis stable er divergeret fra main (aldrig force;
  divergens er en finding)
- Idempotent: intet at promovere = pæn besked, ingen fejl
- Skriver job-summary med de udrullede commits
- Kun write-adgang kan dispatche; ved kommende stable-ruleset skal
  GitHub Actions paa bypass-listen

CONSUMPTION.md: de tre ligevaerdige promote-former dokumenteret
(knappen, een-linjeren, den eksplicitte form).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This commit is contained in:
Michael Dieringer 2026-07-03 16:39:06 +02:00
parent 54623e1e88
commit 0e3556fdc0
2 changed files with 69 additions and 1 deletions

View file

@ -68,7 +68,22 @@ fetch URLs, and the agent templates' knowledge references — read from the
**`stable`** branch, never from `main`. `main` is where PRs land and CI runs;
`stable` is what every developer machine actually executes.
Deploying is a deliberate act (Michael only):
Deploying is a deliberate act (Michael only). Three equivalent ways, safest
first:
**The button (works from any device):** GitHub → Actions → *Promote to
stable* → Run workflow. Refuses to run if the channel has diverged; writes a
summary of the promoted commits.
**The one-liner (from any up-to-date clone, touches no working tree):**
git fetch origin
git push origin origin/main:stable
Git itself refuses a non-fast-forward push — if it is rejected, someone has
committed directly to stable: that is a finding, never a reason to force.
**The explicit form (for understanding what a promote IS):**
git checkout stable
git merge --ff-only main