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

1.7.1 rc0 cherry picks #11589

Closed
wants to merge 1 commit into from
Closed

1.7.1 rc0 cherry picks #11589

wants to merge 1 commit into from

Conversation

bryanck
Copy link
Contributor

@bryanck bryanck commented Nov 19, 2024

This PR picks the following PRs to the 1.7.x branch, in preparation for the 1.7.1 release:

#11516
#11504
#11574

@manuzhang
Copy link
Contributor

It would be better to be decomposed into three commits.

@bryanck
Copy link
Contributor Author

bryanck commented Nov 19, 2024

OK I can do that, I was just following this example: #11466

@bryanck bryanck closed this Nov 19, 2024
@manuzhang
Copy link
Contributor

There are two commits in one PR

@RussellSpitzer
Copy link
Member

+1, I would try to keep the commits separate. 1 Pr but you can cherry pick all the things you like

@bryanck
Copy link
Contributor Author

bryanck commented Nov 19, 2024

OK, let me try this again!

@bryanck bryanck deleted the 1.7.1-cherry-picks branch November 19, 2024 15:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants