create_pull_request
Open a pull request in a GitHub repository between two branches by providing the source branch, destination branch, and title. Facilitates merging code changes from one branch to another.
Instructions
Abre un pull request en un repositorio de GitHub entre dos ramas. Usa este tool cuando el usuario quiera 'hacer un PR', 'crear un pull request' o 'fusionar cambios de una rama a otra'. Requiere la rama origen (head), la rama destino (base) y un título.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | Yes | Nombre de la rama destino de la fusión. Ejemplo: main. | |
| body | No | Descripción del pull request en Markdown (opcional). | |
| head | Yes | Nombre de la rama origen con los cambios. Ejemplo: feature/nueva-funcionalidad. | |
| repo | Yes | Nombre del repositorio. Debe tener entre 3 y 100 caracteres, solo letras, números, guiones y puntos. Ejemplo: mi-proyecto. | |
| owner | Yes | Usuario o organización de GitHub dueña del repositorio. Ejemplo: shakatoti1618. | |
| title | Yes | Título del pull request. |