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

Merge v1.20 into v1.x #1457

Merged
merged 2 commits into from
Sep 25, 2024
Merged

Merge v1.20 into v1.x #1457

merged 2 commits into from
Sep 25, 2024

Conversation

mongodb-php-bot
Copy link
Collaborator

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.

@mongodb-php-bot mongodb-php-bot requested a review from a team as a code owner September 25, 2024 12:54
@alcaeus alcaeus force-pushed the merge-v1.20-into-v1.x-1727268864674 branch from 75da9ea to bb0552e Compare September 25, 2024 12:59
* v1.20:
  Don't build with PHPC 1.x on legacy PHP versions (#1456)
@alcaeus alcaeus force-pushed the merge-v1.20-into-v1.x-1727268864674 branch from bb0552e to adbb665 Compare September 25, 2024 12:59
@alcaeus alcaeus requested review from alcaeus and removed request for jmikola September 25, 2024 12:59
@alcaeus alcaeus disabled auto-merge September 25, 2024 13:13
@alcaeus
Copy link
Member

alcaeus commented Sep 25, 2024

Turning off auto-merge to ensure #1459 gets merged before this PR triggers another merge-up.

@alcaeus alcaeus enabled auto-merge September 25, 2024 13:31
@alcaeus alcaeus merged commit 355779b into v1.x Sep 25, 2024
31 of 32 checks passed
@alcaeus alcaeus deleted the merge-v1.20-into-v1.x-1727268864674 branch September 25, 2024 13:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants