Skip to content

docs: cut 0.9.3 - #145

Merged
REPPL merged 1 commit into
mainfrom
release/v0.9.3
Sep 21, 2026
Merged

REPPL merged 1 commit into
mainfrom
release/v0.9.3

Conversation

@REPPL

@REPPL REPPL commented Sep 21, 2026

Copy link
Copy Markdown
Contributor

Rolls ## [Unreleased] into ## [0.9.3] - 2026-09-21 on the 0.9.2 precedent (PR 140), on the maintainer's decision of 2026-09-21.

Ships: the stuck-probe fixes (PR 144, impact: fix; iss-2609211334563318, iss-2609211334570516, iss-2609211334576018) and the no-transcript models intent already merged without a release (PR 141, itd-2609091715089488, impact: additive). Patch version; build/CODENAME unchanged (Prellerhaus).

Deferred out loud with deferred_after: "v0.9.3": iss-2609211218478273 (the no-transcript server half is live and every model truthfully reads 'keeps no transcript' until the parent, itd-2609091707499248, lands — the next lane); iss-2609200815308397 and iss-2609190242198542 re-deferred with their existing reasons.

abcd launch ship refused the cut on two gates — no surface baseline in v0.9.2's tree (seeded after it; the manual roll is what puts one into a tag) and a deferral spelling the gate reads as the base version — so the roll is by hand, as 0.9.2's was; both are recorded as tooling findings under the local for_abcd notes and in the decision line.

On merge auto-release.yml tags v0.9.3 and publishes. Retention after verification: delete the v0.9.2 release, keep its tag.

Roll [Unreleased] into [0.9.3] - 2026-09-21 on the 0.9.2 precedent: the
stuck-probe fixes (PR 144, impact: fix) and the no-transcript models intent
merged without a release (PR 141, impact: additive). Three open majors are
deferred out loud with deferred_after v0.9.3 — iss-2609211218478273 until
its parent lands, iss-2609200815308397 and iss-2609190242198542 with their
existing reasons — and the decision line records the cut and why the roll
is by hand.

Assisted-by: Claude Opus 5 (claude-opus-5)
@REPPL
REPPL enabled auto-merge September 21, 2026 16:08
@REPPL
REPPL added this pull request to the merge queue Sep 21, 2026
Merged via the queue into main with commit e5e1a18 Sep 21, 2026
6 checks passed
@REPPL
REPPL deleted the release/v0.9.3 branch September 21, 2026 16:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant