From 7578e0da05654dc0715bf2c1cdc4c2eae4b30d66 Mon Sep 17 00:00:00 2001 From: ScriptedAlchemy Date: Sun, 6 Sep 2026 00:57:22 +0000 Subject: [PATCH] docs(AGENTS): local gate is the merge gate; main requires no status checks --- AGENTS.md | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/AGENTS.md b/AGENTS.md index 7fbc5cc3d..fe0ad0751 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -196,10 +196,16 @@ after each push until none remain. Only then merge. - PRs are squash-merged. Review threads left on an already-merged PR must still be answered, in a follow-up PR. -- `main` is protected: PRs land only with every required check green - (`gh pr merge --squash --auto`; `gh pr update-branch` only when GitHub - reports the branch as conflicting — up-to-date-ness is not enforced, and - CI runs again on `main` after the merge); never bypass with `--admin`. +- `main` requires no status checks (owner decision, 2026-09-06): the local + gate is the merge gate. Before `gh pr merge --squash`, run on a branch that + contains current `origin/main`: `pnpm build && pnpm typecheck && pnpm lint + && pnpm test:unit`, every integration/packed test file the diff touches, + and `pnpm docs:site:build` when `website/` or public exports changed; + paste the commands and their results in the PR body. Do not wait for CI on + the PR. CI still runs on `main` after the merge: whoever merged watches + that run and fixes or reverts a red `main` before starting anything else. + `gh pr update-branch` only when GitHub reports the branch as conflicting; + never `--admin`, never force-push `main`. ## Vendored repos