close_pull_request
Close a pull request without merging it in Pagure git forges. Use this tool to end pull request workflows when changes are not needed.
Instructions
Close a pull request without merging.
Args: project: Project name pr_id: Pull request ID number to close namespace: Project namespace (default: rpms)
Returns: JSON string with close result
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| project | Yes | ||
| pr_id | Yes | ||
| namespace | No | rpms |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |