Issues

Issues are at the heart of how Korbit provides feedback inside of your pull requests. You can think of issues as comments that any human would leave on a PR, though Korbit will typically look to find potential problems for you rather than providing a wider array of feedback that you might typically be accustomed to from human reviewers.

Issue types

On any given issue you will see a category to give you context on the type of issues that are found. If you want to change the types of issues you see in your PRs, you can make adjustments in the settings page and find documentation on how to do that here

Interacting with Issues

On any given comment that Korbit raises on your PR, you can have a discussion with Korbit by tagging @korbit-ai.