Merged as 1477e43 on main (tree e98654f). PR #472. Verified landed with git merge-base --is-ancestor, against an unmerged control branch that correctly reported no.
My own mutation…
1477e4358a
Merge #472: one canonical tool-name set, and charters are checked against it (fleetd #469)
The core mechanism landed in 789b6a8 (PR #470, closed). I closed this ticket with it and then reopened it a minute later, because I was wrong: two of the three scope items were not delivered,…
Merged as 789b6a8 and pushed to origin/main. Closing this by hand — a local --no-ff merge does not close a PR here, so the forge would otherwise keep showing it open with its commits…
Adjudicated. The change is accepted and I have asked for one small follow-up on this branch before I merge.
Battery run on the merge commit (56d2890, tree 917ae82), not on the branch.…
A sixth instance of this exact shape, found today, measured rather than assumed. Adding it here because it widens the ticket from "five reporters" to "unpinned call sites in Fleetd.main", which…
Adjudicated. The change is accepted and I have asked for one small follow-up on this same branch before I merge.
I ran my own mutation battery on the merge commit (8b4ff78, tree ab937ad),…
Closing: this was already fixed and merged, and the ticket was simply never closed.
Why it stayed open
The fix landed as PR #428, merged in 7667727. The ticket was not closed with it. I…