From 21068c37f9bb0cf2b2a6cc54b3ca1a0d1cf2efda Mon Sep 17 00:00:00 2001 From: garrytan Date: Sat, 31 Oct 2026 10:35:49 +0000 Subject: [PATCH] docs: a partial pr-body post's own lead text still replaces the PR's (docs audit) Co-authored-by: capy-ai[bot] <230910855+capy-ai[bot]@users.noreply.github.com> --- docs/troubleshooting.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/troubleshooting.md b/docs/troubleshooting.md index 28861c2a6..79512ff94 100644 --- a/docs/troubleshooting.md +++ b/docs/troubleshooting.md @@ -2525,7 +2525,8 @@ has no `## ` heading) is replaced by the file's own text above its first heading, or dropped when the file has none. A partial post (`## ` sections with no receipt above them, such as a lane posting `## Screenshots`) and a file with no `## ` section (a receipt-only or text-only post) leave that text alone, so a human -intro or a `Review-loop exception:` line under the receipt survives. One stderr line names what was replaced, kept, added +intro or a `Review-loop exception:` line under the receipt survives; only +opening lines the file brings of its own replace the PR's opening lines. One stderr line names what was replaced, kept, added and dropped, a dropped piece with its first line, or with that line withheld when the redaction scan flags it (`gstack-post: pr-body merged by section: replaced What changed; kept ship receipt, Why, Approvals; added