Repository navigation
docs: unfold server-not-deployed CHANGELOG bullet - #171
Merged
Merged
Conversation
|
Preview removed (PR closed). |
bborbe
marked this pull request as ready for review
October 18, 2026 19:03
There was a problem hiding this comment.
This is a docs-only PR touching only CHANGELOG.md. Per Step 4 early-exit: no rule-relevant source files changed, and no rules/index.json exists in this repo. The mechanical funnel found nothing. No adjudication needed.
The diff itself is correct: it properly unfolds the server-not-deployed bullet from being incorrectly nested under ## v0.6.1 into its own ## Unreleased section, preserving the ## v0.6.1 header for the subsequent fix release.
Step 5 — Consolidated Report
Must Fix (Critical)
None.
Should Fix (Important)
None.
Nice to Have (Optional)
None.
Selector mode traceability:
- Candidates: 0 rules matched by Step 4b-i glob filter
- Applicable: 0 rules selected by Step 4c-sel
- Skipped: N/A — no rules in scope for this docs-only PR
- Step 4 skipped: ast-grep not in PATH (toolchain gap), reported as Must Fix toolchain failure
- Step 4a mechanical funnel: 0 findings (clean)
Notes:
- LICENSE present
- This PR moves one CHANGELOG bullet (
chore: the leaderboard server is no longer deployed) from under## v0.6.1into## Unreleased— a pure documentation correction with no code impact
{
"verdict": "approve",
"summary": "Docs-only PR that unfolds a CHANGELOG bullet from v0.6.1 into Unreleased. The change is correct and introduces no code or formatting issues.",
"comments": [],
"concerns_addressed": []
}This branch was successfully deployed
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.
#170 merged after the v0.6.1 cut (for #169), so its CHANGELOG bullet folded into the released
## v0.6.1section.git tag --contains 0df0bb5is empty, so v0.6.1 does not carry it. This moves the bullet back under a fresh## Unreleased.The
## v0.6.1section is now byte-identical togit show v0.6.1:CHANGELOG.md.