docs: publishing a version here is only half of shipping it #247
Loading…
Reference in a new issue
No description provided.
Delete branch "sean/consumer-pin"
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?
sean/binjovi copies tools out of these images pinned by tag and digest, so a new version published here reaches nothing until that pin is bumped there -- and nothing fails in the meantime. binjovi-buildkit-client v7 fixed the pull-request fetch on 2026-09-08 and the consumer stayed on v4 for a day, during which no pull request in this repository could build while trunk builds kept passing. This records the coupling on the side that publishes. It is also the canary for that fix: this pull request exists only at refs/pull, so building it at all is the proof. https://claude.ai/code/session_01KZoQin34jeyt6nDGqvJA76