Skip to content

Conversation

@wenduwan
Copy link
Contributor

@wenduwan wenduwan commented Jan 24, 2024

Initial housekeeping changes to prepare for 5.0.2rc1

bot:notacherrypick

Signed-off-by: Wenduo Wang <wenduwan@amazon.com>
Signed-off-by: Wenduo Wang <wenduwan@amazon.com>
Signed-off-by: Wenduo Wang <wenduwan@amazon.com>
@wenduwan wenduwan requested a review from janjust January 24, 2024 19:18
@wenduwan wenduwan self-assigned this Jan 24, 2024
@github-actions github-actions bot added this to the v5.0.2 milestone Jan 24, 2024
@wenduwan wenduwan mentioned this pull request Jan 24, 2024
25 tasks
@github-actions
Copy link

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

b524270: LICENSE: update license date for 2024

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

bc402b7: NEWS: add 5.0.2rc1 section

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

a514937: VERSON: bump versions for 5.0.2rc1

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

@wenduwan wenduwan merged commit b3c7bb9 into open-mpi:v5.0.x Jan 24, 2024
@wenduwan wenduwan deleted the v5.0.2rc1_wenduwan branch January 24, 2024 20:46
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