github_close_pr
Close a pull request without merging. Use this to reject or abandon PRs that should not be merged.
Instructions
Close a pull request without merging.
Args: owner: Repository owner repo: Repository name pr_number: PR number to close session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| pr_number | Yes | ||
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |