Revert "git-commit-checks: comment on PR with error(s)"#10666
Merged
jsquyres merged 1 commit intoopen-mpi:mainfrom Aug 15, 2022
Merged
Revert "git-commit-checks: comment on PR with error(s)"#10666jsquyres merged 1 commit intoopen-mpi:mainfrom
jsquyres merged 1 commit intoopen-mpi:mainfrom
Commits
Commits on Aug 15, 2022
- committed
Jeff Squyres