git-commit-checks: comment on PR with error(s)#10786

jsquyres merged 1 commit intoopen-mpi:mainopen-mpi/ompi:mainfrom

Joe-Downs:pr/testing-commit-checkerJoe-Downs/ompi:pr/testing-commit-checkerCopy head branch name to clipboard