chore: release v0.13.1 - #834
Merged
Merged
Conversation
Assisted-by: Claude:claude-opus-5-5
Both gates PROMOTE at shallow tier for a patch release, keyed to the content commit 71806f8: the docs-currency review (one minor finding, deferred) and the brief-surface crosscheck (25 brief-prose findings, each deferred to iss-2609091956001547). Refs: iss-2609091956001547 Assisted-by: Claude:claude-opus-5-5
REPPL
enabled auto-merge
October 5, 2026 12:01
github-merge-queue
Bot
removed this pull request from the merge queue due to failed status checks
Oct 5, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Release v0.13.1, cut autonomously on the product thinker's instruction of 2026-10-05 ("run all checks autonomously and cut a quick update release, also autonomously, e.g. v0.13.1"). When this merges, the tagging workflow reads the dated section and tags v0.13.1.
This is a patch release: fixes only, nothing to do when you update.
What ships, seven fixes in six changelog lines:
launch shiprefuses a cut whose record folders differ from HEAD, instead of returning a plausible cut that silently leaves a record out (iss-2610050259118177).abcd ahoyand session start name any abcd hook wired into the harness's user settings outside the plugin, and a status line whose binary fails the trust checks; abcd never edits that file to remove one (iss-2610050556323779).abcd ahoynames any it left unlinked (iss-2610050728100598).dashboard startnever signals a server that has already exited (iss-2610050859363813).launch shipderived v0.13.1 (impact fix) from the seven records that reached a terminal folder since v0.13.0. The release guard and the findings guard passed. No intent shipped, so RELEASE.md stays on 0.13.0.The branch is two commits on main 4c38c11 (the merge of #831):
launch ship, and the plugin archive pinned in the marketplace file. The ingest's deep smoke rendered every page and its parity against v0.13.0 shows 1 added, 10 changed, 0 removed.abcd launch receiptspasses on this branch, andmake preflightpasses on its tip.Refs: iss-2610050259118177
Refs: iss-2610050556323779
Refs: iss-2610050728100598
Refs: iss-2610050859363813
Refs: iss-2610050556383525
Refs: iss-2610040847166532
Refs: iss-2610050315146044
Refs: iss-2609091956001547
Assisted-by: Claude:claude-opus-5-5