Skip to content

Bump version to 3.17 for next prerelease cycle#695

Merged
ptr727 merged 1 commit into
developfrom
bump-version-3.17
May 8, 2026
Merged

Bump version to 3.17 for next prerelease cycle#695
ptr727 merged 1 commit into
developfrom
bump-version-3.17

Conversation

@ptr727

@ptr727 ptr727 commented May 8, 2026

Copy link
Copy Markdown
Owner

Summary

Per the rule documented in AGENTS.md "Develop → Main Promotion" section: after the develop→main promotion (PR #693) shipped 3.16.7 as stable on main, bump develop's minor in version.json from 3.16 to 3.17 so the next NBGV-computed prerelease lands at 3.17.0-g{sha} — visibly above main's 3.16.7 rather than below it.

Isolated PR per the rule's own guidance (no other changes bundled in).

Test plan

  • CI green
  • Fresh Copilot review on the latest commit
  • Squash-merge into develop
  • After merge, confirm the next develop prerelease tag is 3.17.0-g{sha} (verify via gh release list --limit 1)

🤖 Generated with Claude Code

Main just shipped 3.16.7 (PR #693 promotion). Per the rule documented
in AGENTS.md "Develop → Main Promotion" section, bump develop's minor
so the next prerelease lands at 3.17.X-g{sha}, visibly above main's
just-shipped stable rather than below it.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Copilot AI review requested due to automatic review settings May 8, 2026 00:31

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.

Pull request overview

This PR bumps develop’s base Nerdbank.GitVersioning minor version to 3.17 so subsequent prerelease builds on develop produce 3.17.0-g{sha} and remain numerically above the recently shipped stable 3.16.7 on main, following the documented release-flow rule.

Changes:

  • Update version.json base version from 3.16 to 3.17.

@ptr727
ptr727 merged commit 52017aa into develop May 8, 2026
20 checks passed
@ptr727
ptr727 deleted the bump-version-3.17 branch May 8, 2026 00:43
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.

2 participants