github_issues_add_labels
Add specified labels to a GitHub issue using owner, repo, and issue number.
Instructions
Add labels to an issue
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | owner | |
| repo | Yes | repo | |
| issue_number | Yes | issue_number | |
| body | No | Request body (JSON object) |