Skip to content

Conversation

@mongodb-php-bot
Copy link
Collaborator

Merge new changes from 5.5 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.5 -m "Ignore changes from 5.5"

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

…one in tests (#3460)

* Use a distinct collection names for each test using atlas search indexes

* Revert to only wait for the previous search indexes to be dropped

* Factorize search indexes waiting helper
@alcaeus alcaeus disabled auto-merge December 8, 2025 13:53
@alcaeus alcaeus merged commit e6d217b into 5.x Dec 8, 2025
142 checks passed
@alcaeus alcaeus deleted the merge-5.5-into-5.x-1764953277348 branch December 8, 2025 13:55
@alcaeus
Copy link
Member

alcaeus commented Dec 8, 2025

Bypassed push protection as the docs changes were only a test fix.

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.

4 participants