dist: More changelog updates for 4.1.7

open-mpi / ompi

Open MPI main development repository

https://www.open-mpi.org

Other

2.18k stars 861 forks source link

Closed bwbarrett closed 1 month ago

bwbarrett commented 1 month ago

bot:notacherrypick

github-actions[bot] commented 1 month ago

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

277097ab: dist: More changelog updates for 4.1.7

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!