Skip to content

Conversation

@bwbarrett
Copy link
Member

@bwbarrett bwbarrett commented Sep 4, 2025

bot:notacherrypick

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

github-actions bot commented Sep 4, 2025

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

0b76252: dist: Prep for AWS-specific 5.0.8 release

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

@darrylabbate
Copy link
Member

Thanks, Brian

@bwbarrett bwbarrett merged commit d63aa94 into open-mpi:v5.0.x-aws Sep 5, 2025
17 of 18 checks passed
@bwbarrett bwbarrett deleted the release/v5.0.8-aws1-prep branch September 5, 2025 19:16
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