Bump version to 2.0.13-dev; RELEASE.md fixes (pipeline ID + tagging docs)#443
Merged
Conversation
- version.json: 2.0.12-dev.{height} -> 2.0.13-dev.{height} (next dev cycle
after 2.0.12 published to PyPI)
- RELEASE.md: publish pipeline definitionId 49 -> 51 (the doc link was
stale; actual pipeline ID confirmed during 2.0.12 release)
Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>
Contributor
There was a problem hiding this comment.
Pull request overview
Post-2.0.12 housekeeping to keep mainline development versions progressing and to correct release documentation for the Azure DevOps publishing pipeline.
Changes:
- Bumped
version.jsondev version from2.0.12-dev.{height}to2.0.13-dev.{height}so main produces2.0.13prerelease builds. - Updated
RELEASE.mdto point to the correct Azure DevOps publish pipelinedefinitionId(49 → 51).
Reviewed changes
Copilot reviewed 2 out of 2 changed files in this pull request and generated no comments.
| File | Description |
|---|---|
version.json |
Advances the main-branch prerelease version to 2.0.13-dev.{height} after the 2.0.12 stable cut. |
RELEASE.md |
Fixes the publish pipeline link to the current Azure DevOps pipeline definition ID. |
Adds a "Tagging and GitHub Release" section after Publishing. Notes the quirk that GitHub's auto-generated release notes walk back from the release branch and only see the squash-merged release PR — provides the date-based gh api query that surfaces the real PR delta from main. Co-Authored-By: Claude Opus 4.7 (1M context) <[email protected]>
corinagum
changed the title
heyitsaamir
approved these changes
May 28, 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.
Summary
Post-2.0.12 housekeeping on main.
version.json:2.0.12-dev.{height}→2.0.13-dev.{height}— dev builds off main now produce2.0.13.dev1,2.0.13.dev2, etc., starting fresh height counters after the 2.0.12 stable cut. Mirrors PR Bump version to 2.0.12-dev #429.RELEASE.md:definitionId49 → 51 (stale link)gh apiquery that surfaces the real PR delta from main (auto-generated notes against the squash-merged release branch only show the release PR itself)Test plan
cat version.jsonshows2.0.13-dev.{height}grep definitionId RELEASE.mdshows the corrected ID