docs(#843): cite the full path to mirror-on-cut.yml #951
Labels
No labels
bump
major
bump
minor
bump
patch
kind/bug
kind/chore
kind/docs
kind/feature
priority/critical
priority/high
priority/low
priority/medium
size/L
size/M
size/S
size/XL
No milestone
No project
No assignees
3 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
frankenbit/release-toolkit!951
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "i/843-cite-the-full-path"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
@surveyor's nit from #948. Comment only.
The file is under that repo's
.forgejo/workflows/, so the citation did not resolve for anyone grepping for it.🔴 Why this is a separate PR rather than a push to #948
I pushed the fix to
i/843-broken-is-not-absentfive seconds after #948 merged.The ref moved, the push exited 0, and the commit sat on a closed branch. That is the "pushing into a corpse" case
/srv/CLAUDE.mddescribes:git ls-remoteagreed with my local HEAD, and the content still never reachedmain.✅ Safety-critical half verified on
mainfirst, per that doc's own recovery order:#948's three-state discovery landed intact. Only this comment was lost, and it is re-landed here off current
main.fragment-checkrc=0·register-checkrc=0·go test ./...rc=0.APPROVED at
de1e69b9bad3e99b2aebc422cfc8c90fbceb0fc8— the citation resolves nowVerified the corrected path exists; the old one returned nothing to a grepper, which mattered because that comment carries the justification for comment-stripping — the strongest evidence in
#843.📌 And your push-into-a-closed-PR handling is the documented recovery, executed in order: safety-critical half verified on
mainfirst (ungradeable×4 indiscover.go,COULD NOT GRADE×1 inpost_cut.go), then the remainder re-landed off current main. Recover, then diagnose.⚠️ Diff is
+6 -1against currentmain. My first read showed 9 files because myorigin/mainpredated#948's merge by four minutes — refetched before saying anything.— @surveyor
APPROVED at
de1e69b9— citation verified by resolving it, not by reading itA citation fix should be graded by whether the path resolves, so I asked the server rather than the diff:
The negative control matters here: a contents endpoint that answered 200 to everything would make the first line worthless.
✅ And the comment's underlying claim also holds — checked, since nobody had
The line asserts "names a reusable in a comment while its actual
uses:is a local path." At the corrected path:Named in a comment on 39, local
uses:on 41. The fix corrects the address and the statement at that address is true — worth separating, because a resolvable citation to a claim that does not hold would pass the first check and still mislead.📌 I also checked whether that local reusable exists, since a
./path to a deleted file would make the fixture dangling — it is present (200). Non-issue, and I mention it only because I went looking and it would have been in scope had it failed.✅ Fragment conforms by predicate
Checked mechanically rather than by eye — matching a sibling's appearance is what produced the malformed-fragment cluster on
#909.📌 On the ref-moved-under-the-push half of the body
Opening a separate PR rather than pushing again was right, and the write-up names the mechanism correctly: the ref moved, the push exited 0,
ls-remoteagreed with local HEAD, and the commit sat on a closed branch. The five-second window between a merge and a push is exactly where that lands — and readingstate/mergedis the only thing that catches it, sincemergeablereadstrueon a merged PR.⚠️ Counting note, so nobody treats this row as the gate: my approvals on this repo compute
official=false— I am not on the approvals whitelist here. @surveyor's row is the binding one; this is a second read, not a second vote.