update_pull_request
Update a pull request's title, description, state, or base branch in GitHub.
Instructions
Actualiza el título, descripción o estado de un pull request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | No | Cambiar el branch base del pull request | |
| body | No | Nueva descripción del pull request en Markdown | |
| repo | Yes | Nombre del repositorio | |
| owner | Yes | Propietario del repositorio | |
| state | No | Estado del pull request | |
| title | No | Nuevo título del pull request | |
| pull_number | Yes | Número del pull request |