From 5816ca669f2057547a5c38161bddfa4dfc9cff4e Mon Sep 17 00:00:00 2001 From: jochen Date: Mon, 19 Oct 2026 13:29:22 +0200 Subject: [PATCH] Say the page's freshness is not yet checked (issue 1222), and fix 08's leftover 'reviewed after its push' (review round 1) --- 00-META/process/08-small-fixes.md | 2 +- 00-META/process/playbooks.html | 4 ++-- AGENTS.md | 3 ++- 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/00-META/process/08-small-fixes.md b/00-META/process/08-small-fixes.md index 35022704..a301281e 100644 --- a/00-META/process/08-small-fixes.md +++ b/00-META/process/08-small-fixes.md @@ -99,7 +99,7 @@ reading itself and uses one subagent only for the review. ## How it is checked - A small fix has one pull request with one or few commits naming its issue, opened after its review: a pull - request with many heads is a fix reviewed after its push. + request with many heads is a fix reviewed after its pull request was opened. - Its issue moves to `resolved` within the hour its delivery plan ends. - A pull request with no review record at its head (the Approve's ask says so first), a fix to a module's running pushed with no integration test of the module whole, or a review report diff --git a/00-META/process/playbooks.html b/00-META/process/playbooks.html index 23a4a67f..c2c8494a 100644 --- a/00-META/process/playbooks.html +++ b/00-META/process/playbooks.html @@ -409,7 +409,7 @@ code{font:12.5px ui-monospace,monospace;background:var(--soft);padding:1px 5px;b
- +