From b15c7a934e5b53d2b07268d55151e222ece644d9 Mon Sep 17 00:00:00 2001 From: Artur Shiriev Date: Sun, 6 Sep 2026 20:37:24 +0300 Subject: [PATCH] docs: stop asserting the PR-body shape in AGENTS.md --- AGENTS.md | 4 ---- 1 file changed, 4 deletions(-) diff --git a/AGENTS.md b/AGENTS.md index d679eac..c5e0159 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -73,10 +73,6 @@ if it's clean, push a fresh commit to force GitHub to recompute the merge ref. ## Workflow -**The spec for a change is its PR body**, not a committed file: why, design, -non-goals, verification, reviewed with the diff. A trivial PR (typo, dep bump, -formatter, CI tweak) ships a conventional-commit title with no body ceremony. - Two things outlive the PR: an alternative **rejected** with reasoning becomes an ADR in [`docs/adr/`](docs/adr/), with a revisit trigger, and real work **not scheduled** becomes a GitHub issue. Numbering, formats and `gh` usage are in