Skip to content
Docs

Set up pull request reviews

View Markdown

Get a Zero Cool review on GitHub pull requests. You need the Admin role and a GitHub connection.

Ask your agent

How do I turn on Zero Cool pull request reviews for my repository?

Ask your agent to guide you through the portal for this task; there is no dedicated CLI command.

In the portal

  1. Open Settings → Integrations, then the PR reviews section.
  2. Select Enable next to the repository.
  3. Choose Quotes: Every pull request or On mention.
  4. With Every pull request, set the Target branches.
  5. Choose Result posting: Link, Summary or Full report.
  6. Choose the Minimum GitHub role that may start a review.
  7. For Block merges, choose Off, Critical, High+, Medium+ or Low+.
  8. Select Enable PR reviews.
  9. If the dialog asks for updated App permissions, select Review the request on GitHub. A GitHub owner approves them.
  10. To block merges, require Zero Cool review in GitHub branch protection for each target branch.

With Every pull request, Zero Cool comments the price of a review on each ready pull request into a target branch. With On mention, a user first comments the review command that the settings dialog shows. A person with the minimum role ticks Start this review in that comment. The review spends the credits that the comment shows. Zero Cool updates the comment with the result. Block merges is a severity threshold. The Zero Cool review check fails for an unaccepted finding at or above that severity. With Off, Zero Cool posts no check.

Summary and Full report post finding details on the pull request. Use Link for a public repository. To change the settings, select Edit. To stop new quotes, select Disable.