Skip to content

docs: unfold server-not-deployed CHANGELOG bullet - #171

Merged
bborbe merged 1 commit into
masterfrom
fix/changelog-unfold-server-note
Oct 18, 2026
Merged

bborbe merged 1 commit into
masterfrom
fix/changelog-unfold-server-note

Conversation

@bborbe

@bborbe bborbe commented Oct 18, 2026

Copy link
Copy Markdown
Owner

#170 merged after the v0.6.1 cut (for #169), so its CHANGELOG bullet folded into the released ## v0.6.1 section. git tag --contains 0df0bb5 is empty, so v0.6.1 does not carry it. This moves the bullet back under a fresh ## Unreleased.

The ## v0.6.1 section is now byte-identical to git show v0.6.1:CHANGELOG.md.

@github-actions

github-actions Bot commented Oct 18, 2026 •

Copy link
Copy Markdown

Preview removed (PR closed).

@bborbe
bborbe marked this pull request as ready for review October 18, 2026 19:03

@ben-s-pull-request-reviewer ben-s-pull-request-reviewer Bot 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.

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.1 into ## 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": []
}

@bborbe
bborbe merged commit 0073b94 into master Oct 18, 2026
13 checks passed
@bborbe
bborbe deleted the fix/changelog-unfold-server-note branch October 18, 2026 19:07

This branch was successfully deployed

1 active deployment
github-pages — ede51b99 Deployed Oct 18, 2026 by bborbe via deploy #297
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