Merged as 75b1508, corrected in 94f50e5. Real merge built green at 1296 tests.
The defect is real and reachable in code, as the worker reported. seedTrustDialog was static, so it…
Merged as dab9645, corrected in 94f50e5. Real merge built green at 1296 tests.
Option 2 was chosen (keep the roster entry, stop it counting), and the worker extended it from `BACKEND_ERROR…
7e49c6eca2
#285: seedTrustDialog refuses under memberHerdrSocket instead of seeding fleetd's own home
Merged locally. One change on top of the branch: the new shareTrustJsonWithGroup helper moved into EnvAllowListScrub as shareFileWithGroup(Path, String). Reasoning is on #285.
Merged locally. Posting this here because the worker had no gh and could not update its own PR body — the round-two commit 11cbfa7 extends the fix from BACKEND_ERROR to FAILED as well,…
Merged as c2c2746. Real merge built green at 1287 tests. I ran my own mutations rather than trusting the worker's:
Defect 1 — put release()'s worktree removal back to a bare…
Merged as bfabe13, with a follow-up commit e93b5f6 correcting one claim. Full build of the real merge: 1288 tests, BUILD SUCCESS.
One claim in the PR does not hold
The PR says each…
c2c2746922
Merge #283 (PR #288): guard release()'s worktree removal, delete the orphaned branch on spawn failure
Merged as 0087645. Both properties hold, and I proved each one myself against the real merge rather than on the worker's word — deliberately using different mutations than the ones it…