merge_pull_request
Merge approved pull requests in Pagure git forges to integrate changes into projects. Specify project, pull request ID, and optional namespace to complete merges.
Instructions
Merge an approved pull request.
Args: project: Project name pr_id: Pull request ID number to merge namespace: Project namespace (default: rpms)
Returns: JSON string with merge result
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| project | Yes | ||
| pr_id | Yes | ||
| namespace | No | rpms |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |