Skip to content

Merge 5.8 into 5.x - #3543

Merged
mongodb-drivers-pr-bot[bot] merged 1 commit into
5.xfrom
merge-5.8-into-5.x-1783611529556
Jul 9, 2026
Merged

Merge 5.8 into 5.x#3543
mongodb-drivers-pr-bot[bot] merged 1 commit into
5.xfrom
merge-5.8-into-5.x-1783611529556

Conversation

@mongodb-drivers-pr-bot

Copy link
Copy Markdown
Contributor

Merge new changes from 5.8 into 5.x.

Commits

Resolving conflicts

To resolve any conflicts, check out the temporary branch and run the following command:
git merge 5.x -m "Resolve conflicts in 5.x"

Ignoring changes

To ignore from the remote branch, first reset the temporary branch to 5.x and manually merge using the `ours` merge strategy:
git reset --hard 5.x
git merge --strategy=ours 5.8 -m "Ignore changes from 5.8"

Then, push the temporary branch to upate the pull request.

@mongodb-drivers-pr-bot
mongodb-drivers-pr-bot Bot requested a review from a team as a code owner July 9, 2026 15:38
@mongodb-drivers-pr-bot
mongodb-drivers-pr-bot Bot requested a review from GromNaN July 9, 2026 15:38
@github-actions github-actions Bot added the github label Jul 9, 2026
@mongodb-drivers-pr-bot
mongodb-drivers-pr-bot Bot merged commit b2a98d7 into 5.x Jul 9, 2026
66 checks passed
@mongodb-drivers-pr-bot
mongodb-drivers-pr-bot Bot deleted the merge-5.8-into-5.x-1783611529556 branch July 9, 2026 15:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant