Skip to content

chore(release): pin decernor v0.1.4 and prepare v0.1.1 notes - #17

Merged
3leapsdave merged 1 commit into
mainfrom
v011-release-pack
Aug 20, 2026
Merged

chore(release): pin decernor v0.1.4 and prepare v0.1.1 notes#17
3leapsdave merged 1 commit into
mainfrom
v011-release-pack

Conversation

@3leapsdave

Copy link
Copy Markdown
Member

Repo identity is 0.1.1. The Decernor consumer pin names tagged v0.1.4 (32d0176). Exact committed-synthetic goldens are unchanged. CHANGELOG, RELEASE_NOTES, and docs/releases/v0.1.1.md cover the lexical lane, ownership markers, and pin. README points at the current pin and cut.

DECERNOR_BIN / PATH locate is unchanged. make check-all passes against a v0.1.4 binary.

Bump repo identity to 0.1.1. Consumer pin names tagged decernor
v0.1.4 (32d0176). Exact goldens are unchanged. Locate remains
DECERNOR_BIN or PATH.

Generated by Grok 4.6 via Grok Build under supervision of @3leapsdave

Co-Authored-By: Grok 4.6 <noreply@3leaps.net>
Role: devlead
Committer-of-Record: Dave Thompson <dave.thompson@3leaps.net> [@3leapsdave]
@3leapsdave
3leapsdave merged commit 4ae61c5 into main Aug 20, 2026
3 checks passed
@3leapsdave
3leapsdave deleted the v011-release-pack branch August 20, 2026 23:00
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