remove_pr_label
Removes a specified label from a pull request using its URL or ID. Streamlines PR management by cleaning up unnecessary labels.
Instructions
Remove a label from a PR.
Args: pr_url_or_id: A full PR URL or numeric PR ID. label_name: Label name to remove. working_directory: Optional path for context resolution.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"pr_url_or_id": "<pr_url_or_id>",
"label_name": "<label_name>"
},
"name": "remove_pr_label"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr_url_or_id | Yes | ||
| label_name | Yes | ||
| working_directory | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |