Skip to content

chore: update version to 0.7.2 and document changes in changelog#525

Merged
tnaum-ms merged 3 commits intomainfrom
dev/tnaum/release-0.7.2
Mar 13, 2026
Merged

chore: update version to 0.7.2 and document changes in changelog#525
tnaum-ms merged 3 commits intomainfrom
dev/tnaum/release-0.7.2

Conversation

@tnaum-ms
Copy link
Collaborator

version 0.7.1 was skipped due to deployment issues, shipping 0.7.1 as 0.7.2

@tnaum-ms tnaum-ms requested a review from a team as a code owner March 12, 2026 18:54
Copilot AI review requested due to automatic review settings March 12, 2026 18:54
Copy link
Contributor

Copilot AI left a comment

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 the extension version to 0.7.2 (shipping the intended 0.7.1 content under 0.7.2 due to deployment issues) and updates the documentation/changelog to match.

Changes:

  • Update extension version from 0.7.1 → 0.7.2 in package.json and package-lock.json.
  • Update release notes and docs index to reference v0.7.2 instead of v0.7.1.
  • Update CHANGELOG.md to label the release as 0.7.2 and mark 0.7.1 as skipped.

Reviewed changes

Copilot reviewed 4 out of 5 changed files in this pull request and generated 2 comments.

Show a summary per file
File Description
package.json Bumps extension version to 0.7.2.
package-lock.json Aligns lockfile version metadata with 0.7.2.
docs/release-notes/0.7.md Renames the patch release section to v0.7.2 and updates changelog anchor link.
docs/index.md Updates release notes links to point to the v0.7.2 patch section.
CHANGELOG.md Updates the release heading to 0.7.2 and adds a placeholder section for skipped 0.7.1.

tnaum-ms and others added 2 commits March 13, 2026 11:09
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@tnaum-ms tnaum-ms merged commit c1f4584 into main Mar 13, 2026
5 checks passed
@tnaum-ms tnaum-ms deleted the dev/tnaum/release-0.7.2 branch March 13, 2026 10:11
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