Skip to content

chore(release): pin decernor v0.1.5 and prepare v0.1.3 notes - #20

Merged
3leapsdave merged 2 commits into
mainfrom
chore/release-v0.1.3
Aug 25, 2026
Merged

chore(release): pin decernor v0.1.5 and prepare v0.1.3 notes#20
3leapsdave merged 2 commits into
mainfrom
chore/release-v0.1.3

Conversation

@3leapsdave

Copy link
Copy Markdown
Member

Repo identity is 0.1.3. The Decernor consumer pin names tagged v0.1.5 (5dfd574). Exact committed-synthetic goldens are unchanged. Link-only community stubs point at 3leaps/oss-policies. Generator help and public examples use --out /path/to/isolated-root or SYNTHCORPUS_OUT. CHANGELOG, RELEASE_NOTES, and docs/releases/v0.1.3.md cover the cut.

make check-all passes against a v0.1.5 binary. No visibility change. No retag of v0.1.2.

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

Co-Authored-By: Grok 4.5 noreply@3leaps.net
Role: devlead
Committer-of-Record: @3leapsdave

3leapsdave and others added 2 commits August 25, 2026 07:10
Repo identity is 0.1.3. The Decernor consumer pin names tagged v0.1.5
(5dfd574). Exact committed-synthetic goldens are unchanged. Link-only
community stubs point at 3leaps/oss-policies. Generator help and public
examples use --out /path/to/isolated-root or SYNTHCORPUS_OUT. CHANGELOG,
RELEASE_NOTES, and docs/releases/v0.1.3.md cover the cut.

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

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

Co-Authored-By: Grok 4.5 <noreply@3leaps.net>
Role: devlead
Committer-of-Record: @3leapsdave
Replace executable ~/dev/dogfooding examples in historical per-cut release
notes with /path/to/isolated-root, and generalize generator comments that
named that host path. No history rewrite.

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

Co-Authored-By: Grok 4.5 <noreply@3leaps.net>
Role: devlead
Committer-of-Record: @3leapsdave
@3leapsdave
3leapsdave merged commit 68a3508 into main Aug 25, 2026
3 checks passed
@3leapsdave
3leapsdave deleted the chore/release-v0.1.3 branch August 25, 2026 11:39
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