Create GitHub issue
create_github_issueConvert a code annotation into a GitHub issue with the project's default repository and assignee. Customize repo or assignees as needed, and include the AI prompt in the issue body for debugging context.
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. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | No | ||
| repo | No | ||
| state | No | ||
| provider | No | ||
| issue_url | No | ||
| created_at | No | ||
| issue_number | No | ||
| annotation_id | No |