From 4419a9de2a50b8c1b3730dd5fc70c96e4ad8376e Mon Sep 17 00:00:00 2001 From: Peter Steinberger Date: Mon, 4 May 2026 00:12:43 +0100 Subject: [PATCH] docs: clarify fixed issue closeout --- AGENTS.md | 1 + 1 file changed, 1 insertion(+) diff --git a/AGENTS.md b/AGENTS.md index 7684b3889fd..bcd42ec0de9 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -69,6 +69,7 @@ Telegraph style. Root rules only. Read scoped `AGENTS.md` before subtree work. - GitHub search boolean text is fussy. If `OR` queries return empty, split exact terms and search title/body/comments separately before concluding no hits. - PR shortlist: `gh pr list ...`; then `gh pr view --json number,title,body,closingIssuesReferences,files,statusCheckRollup,reviewDecision`. - After landing PR: search duplicate open issues/PRs. Before closing: comment why + canonical link. +- If an issue/PR is already fixed on current `main` or solved by a new release: comment with proof + canonical commit/PR/release, then close. - GH comments with markdown backticks, `$`, or shell snippets: avoid inline double-quoted `--body`; use single quotes or `--body-file`. - PR create: body required. Include concise Summary + Verification sections; mention issue/PR refs, behavior changed, and exact local/Testbox/CI proof. Never open an empty-body or placeholder-body PR. - PR execution artifacts/screenshots: attach them to the PR, comment, or an external artifact store. Do not add `.github/pr-assets` or other PR-only assets to the repo.