Skip to content

Conversation

@janjust
Copy link
Contributor

@janjust janjust commented Oct 30, 2025

bot:notacherrypick

Signed-off-by: Tomislav Janjusic <[email protected]>
@github-actions github-actions bot added this to the v5.0.8 milestone Oct 30, 2025
@github-actions
Copy link

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

6fe1db1: v5.0.9: consolidate news.

  • 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!

@janjust janjust changed the title v5.0.9: consolidate news. v5.0.9: consolidate news. Oct 30, 2025
@janjust janjust merged commit b79100b into open-mpi:v5.0.x Oct 30, 2025
20 of 21 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.

2 participants