Create GitHub issue
create_github_issueFile an annotation as a GitHub issue, embedding the AI prompt and using the project's default repo and assignee.
Instructions
Create a GitHub issue from an annotation. Uses the project’s configured repo and assignee unless overridden. Embeds the generated AI prompt in the issue body.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | owner/repository to file the issue in. Optional. | |
| assignees | No | GitHub usernames to assign. Optional. | |
| annotation_id | Yes | The id of the annotation to file as an issue. |