close_pull_request
Close an open pull request without merging it. Reject or abandon the PR while keeping the branch and commits intact.
Instructions
Cierra un pull request sin mergearlo
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Nombre del repositorio | |
| owner | Yes | Propietario del repositorio | |
| pull_number | Yes | Número del pull request |