mongodb / mongo-php-driver

The Official MongoDB PHP driver
https://pecl.php.net/package/mongodb
Apache License 2.0
892 stars 205 forks source link

Merge v1.20 into v1.x #1722

Closed mongodb-php-bot closed 1 month ago

mongodb-php-bot commented 1 month ago

Merge new changes from v1.20 into v1.x.

Commits

Resolving conflicts

To resolve any conflicts, check out the temporary branch and run the following command: git merge v1.x

Ignoring changes

To ignore from the remote branch, first reset the temporary branch to v1.x and manually merge using the `ours` merge strategy: git reset --hard v1.x git merge --strategy=ours v1.20 Then, push the temporary branch to upate the pull request.
alcaeus commented 1 month ago

Closing in favour of #1723.