git-commit-checks: comment on PR with error(s) (cherry-pick to v5.0.x)#10789
Merged
jsquyres merged 1 commit intoopen-mpi:v5.0.xfrom Sep 11, 2022
Merged
git-commit-checks: comment on PR with error(s) (cherry-pick to v5.0.x)#10789jsquyres merged 1 commit intoopen-mpi:v5.0.xfrom
jsquyres merged 1 commit intoopen-mpi:v5.0.xfrom
