Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Upgrade MongoDB driver 5.2.0 -> 5.2.1 #1408

Merged
merged 1 commit into from
Nov 18, 2024
Merged

Conversation

Picnic-DevPla-Bot
Copy link
Contributor

@Picnic-DevPla-Bot Picnic-DevPla-Bot commented Nov 8, 2024

This PR contains the following updates:

Package Type Update Change
MongoDB driver (source) compile patch 5.2.0 -> 5.2.1

  • If you want to rebase/retry this PR, check this box

@Picnic-DevPla-Bot
Copy link
Contributor Author

Picnic-DevPla-Bot commented Nov 8, 2024

Suggested commit message:

Upgrade MongoDB driver 5.2.0 -> 5.2.1 (#1408)

See:
- https://jira.mongodb.org/issues/?jql=project%20%3D%20JAVA%20AND%20fixVersion%20%3E%205.2.0%20AND%20fixVersion%20%3C%3D%205.2.1
- https://github.com/mongodb/mongo-java-driver/releases/tag/r5.2.1
- https://github.com/mongodb/mongo-java-driver/compare/r5.2.0...r5.2.1

@Stephan202 Stephan202 added this to the 0.20.0 milestone Nov 8, 2024
@Picnic-DevPla-Bot Picnic-DevPla-Bot force-pushed the renovate/mongodb-driver-5.x branch 6 times, most recently from f7195ee to 3f722eb Compare November 14, 2024 02:07
@Picnic-DevPla-Bot Picnic-DevPla-Bot force-pushed the renovate/mongodb-driver-5.x branch from 3f722eb to 522b69f Compare November 16, 2024 02:07
@rickie rickie force-pushed the renovate/mongodb-driver-5.x branch from 522b69f to bb5293f Compare November 18, 2024 07:48
Copy link

Looks good. No mutations were possible for these changes.
Mutation testing report by Pitest. Review any surviving mutants by inspecting the line comments under Files changed.

@rickie rickie merged commit e37280b into master Nov 18, 2024
16 checks passed
@rickie rickie deleted the renovate/mongodb-driver-5.x branch November 18, 2024 08:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

3 participants