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.
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 |