Repository navigation
docs: prepare v0.10.0 release - #127
Merged
Merged
Conversation
There was a problem hiding this comment.
🟢 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
Soph
approved these changes
Oct 21, 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.
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 --checkpasses. The merged main tree is identical to the reviewed #124 head, wherego test ./... -count=1and race tests for gitproto, sanitize, and bootstrap passed. This PR changes only CHANGELOG.md.After this merges, tag the merge commit as
v0.10.0and 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-21and 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—onlyCHANGELOG.md, so release note extraction can ship nonempty v0.10.0 notes before tagging.Reviewed by Cursor Bugbot for commit 28596d2. Configure here.