v4.0.x: git commit checker GitHub action#8501

jsquyres wants to merge 3 commits intoopen-mpi:v4.0.xopen-mpi/ompi:v4.0.xfrom

jsquyres:pr/v4.0.x/git-commit-checker-github-actionjsquyres/ompi:pr/v4.0.x/git-commit-checker-github-actionCopy head branch name to clipboard