Criteria which must be satisfied to merge a pull request.
Indicates whether or not a pull request must have a successful build run and no queued builds before it can be merged
Criteria which must be satisfied to merge a pull request.