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

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

Joe-Downs:pr/commit-checker-messagesJoe-Downs/ompi:pr/commit-checker-messagesCopy head branch name to clipboard