abandon_pull_request
Close an existing pull request without merging, using its URL or numeric ID.
Instructions
Abandon (close without merging) an existing PR.
Args: pr_url_or_id: A full PR URL or numeric PR ID. working_directory: Optional path for context resolution.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pr_url_or_id | Yes | ||
| working_directory | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |