Skip to content

Conversation

@zhongchen530
Copy link

Cherry picking the change from PR #13061 as requested

@github-actions github-actions bot added this to the v5.0.8 milestone May 31, 2025
@github-actions
Copy link

Hello! The Git Commit Checker CI bot found a few problems with this PR:

620a646: Ensure strict matching between option of reused co...

  • check_cherry_pick: does not include a cherry pick message (did you need to bot:notacherrypick?)

Please fix these problems and, if necessary, force-push new commits back up to the PR branch. Thanks!

@jsquyres
Copy link
Member

jsquyres commented May 31, 2025

@zhongchen530 Thanks! Can you edit your commit message to include the following line:

(cherry picked from commit 965960c8ad2c466fe81e7ae4170b0bcc6568ed7a)

Thanks!

… the requested context

(cherry picked from commit 965960c)

Signed-off-by: zhongyuan chen <[email protected]>
@zhongchen530
Copy link
Author

@zhongchen530 Thanks! Can you edit your commit message to include the following line:

(cherry picked from commit 965960c8ad2c466fe81e7ae4170b0bcc6568ed7a)

Thanks!

I just did. Thanks!

@janjust janjust merged commit f40fafa into open-mpi:v5.0.x Jun 9, 2025
15 checks passed
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