Skip to content

Conversation

@jsquyres
Copy link
Member

This reverts commit 4b0ce7e.

FYI @Joe-Downs, per #10632 (comment)

@jsquyres
Copy link
Member Author

It is expected that the Git commit checker (pull_request_target) fails -- that's exactly why this commit is being reverted.

@jsquyres
Copy link
Member Author

I'm going to merge this before CI completes because:

  1. we know that one of the CI's is going to fail (that's what revering this commit will fix)
  2. this revert is only about the git commit checker -- none of the other CI tests exercise this code
  3. might as well get this fix in so that other PR's don't get held up by the broken CI

@jsquyres jsquyres merged commit dfd100a into open-mpi:main Aug 15, 2022
@jsquyres jsquyres deleted the pr/revert-git-commit-checker-update branch August 15, 2022 19:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant