Skip to content

docs: prepare v0.10.0 release - #127

Merged
nodo merged 1 commit into
mainfrom
release/v0.10.0
Oct 21, 2026
Merged

nodo merged 1 commit into
mainfrom
release/v0.10.0

Conversation

@nodo

@nodo nodo commented Oct 21, 2026 •

Copy link
Copy Markdown
Collaborator

Prepare v0.10.0 by dating the unreleased changelog, adding links to the merged PRs, and documenting the interrupted-bootstrap resume fix from #116 that was missing from the notes.

This minor release includes namespace scoping and empty-scope pruning, bootstrap diagnostics and fallback limits, resume and checkpoint fixes, authenticated GitHub size preflight, and Go/dependency security updates.

Validation: the release workflow's changelog extraction produces nonempty v0.10.0 notes; git diff --check passes. The merged main tree is identical to the reviewed #124 head, where go test ./... -count=1 and race tests for gitproto, sanitize, and bootstrap passed. This PR changes only CHANGELOG.md.

After this merges, tag the merge commit as v0.10.0 and let the existing Release workflow publish archives, checksums, provenance, and the Homebrew cask.


Note

Low Risk
Documentation-only changelog edits with no behavioral or dependency changes in this PR.

Overview
Prepares v0.10.0 release documentation by replacing the [Unreleased] section with [0.10.0] - 2026-10-21 and attaching GitHub PR links to the existing Security, Added, Changed, and Fixed bullets (#116–#126).

Adds a Fixed entry for interrupted bootstrap resume when refs/gitsync/ markers remain on the target (#116), which was missing from the draft notes. No runtime or API code changes—only CHANGELOG.md, so release note extraction can ship nonempty v0.10.0 notes before tagging.

Reviewed by Cursor Bugbot for commit 28596d2. Configure here.

Copilot AI balanced review requested due to automatic review settings October 21, 2026 16:02
@nodo
nodo enabled auto-merge October 21, 2026 16:02

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Approval recommended

The documentation matches the referenced changes, supports release-note extraction, and has no unresolved findings.

No open issues 🎉

What changed in this PR

Prepares the v0.10.0 release notes without changing runtime behavior.

Changes:

  • Dates the release section as October 21, 2026.
  • Adds links to merged pull requests.
  • Documents the interrupted-bootstrap resume fix from #116.
File Description
CHANGELOG.md Finalizes v0.10.0 notes with release metadata, PR links, and resume behavior.

Review effort: Balanced

@nodo
nodo merged commit c22261b into main Oct 21, 2026
5 checks passed
@nodo
nodo deleted the release/v0.10.0 branch October 21, 2026 16:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants