mongodb / mongo-php-driver

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

Merge v1.18 into v1.19 #1561

Closed mongodb-php-bot closed 4 months ago

mongodb-php-bot commented 4 months ago

Merge new changes from v1.18 into v1.19.

Commits

Resolving conflicts

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

Ignoring changes

To ignore from the remote branch, first reset the temporary branch to v1.19 and manually merge using the `ours` merge strategy: git reset --hard v1.19 git merge --strategy=ours v1.18 Then, push the temporary branch to upate the pull request.