Skip to content

Conversation

@mongodb-devtools-bot
Copy link
Contributor

This PR bumps the package version to v1.3.0-pre.2.
Once merged, the new version will be published to npm.

@mongodb-devtools-bot mongodb-devtools-bot bot requested a review from a team as a code owner December 2, 2025 11:03
@mongodb-devtools-bot mongodb-devtools-bot bot enabled auto-merge (squash) December 2, 2025 11:03
@mongodb-devtools-bot mongodb-devtools-bot bot merged commit 2415734 into main Dec 2, 2025
31 of 33 checks passed
@mongodb-devtools-bot mongodb-devtools-bot bot deleted the chore_release_v1.3.0-pre.2 branch December 2, 2025 11:29
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