add_issue_labels
Add labels to a GitHub issue by specifying repository owner, repository name, issue number, and desired labels. Updates the issue with the new label set via the GitHub API.
Instructions
Add labels to an issue.
Args:
params: Parameters for adding labels including:
- owner: Repository owner (user or organization)
- repo: Repository name
- issue_number: Issue number
- labels: Labels to add
Returns:
Updated list of labels from GitHub API
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| params | Yes |
Input Schema (JSON Schema)
{
"$defs": {
"AddIssueLabelsParams": {
"description": "Parameters for adding labels to an issue.",
"properties": {
"issue_number": {
"description": "Issue number",
"title": "Issue Number",
"type": "integer"
},
"labels": {
"description": "Labels to add",
"items": {
"type": "string"
},
"title": "Labels",
"type": "array"
},
"owner": {
"description": "Repository owner (username or organization)",
"title": "Owner",
"type": "string"
},
"repo": {
"description": "Repository name",
"title": "Repo",
"type": "string"
}
},
"required": [
"owner",
"repo",
"issue_number",
"labels"
],
"title": "AddIssueLabelsParams",
"type": "object"
}
},
"properties": {
"params": {
"$ref": "#/$defs/AddIssueLabelsParams"
}
},
"required": [
"params"
],
"title": "add_issue_labelsArguments",
"type": "object"
}