From 2571565c8a405783ea6df7499d684e6a35050603 Mon Sep 17 00:00:00 2001 From: Peter Steinberger Date: Mon, 11 May 2026 04:43:51 +0100 Subject: [PATCH] docs: require PR verification notes --- AGENTS.md | 1 + 1 file changed, 1 insertion(+) diff --git a/AGENTS.md b/AGENTS.md index ccc6921a207..42056f5ff29 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -73,6 +73,7 @@ Skills own workflows; root owns hard policy and routing. - PR review answer: bug/behavior, URL(s), affected surface, best-fix judgment, evidence from code/tests/CI/current or shipped behavior. - Issue/PR final answer: last line is the full GitHub URL. - Changelog: PR landings/fixes need one unless pure test/internal. Do not mention missing changelog as a review finding; Codex handles it during fix/landing. +- PR verification: before merge, post exact local commands, CI/Testbox run IDs, before/after proof when used, and known proof gaps. - After landing or requested close/sweep: search duplicates; comment proof + canonical commit/PR/release before closing. - `ship` that fixes an issue: after push, comment proof + commit link, then close the issue. - GH comments with backticks, `$`, or shell snippets: use heredoc/body file, not inline double-quoted `--body`.