merge_pull_request
Combine changes from a Pull Request in Gitee repositories by specifying owner, repository, PR number, merge method, and branch deletion options.
Instructions
合并 Gitee 仓库中的 Pull Request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| merge_method | No | Merge method | merge |
| owner | Yes | Repository owner path (enterprise, organization, or personal path) | |
| prune_source_branch | No | Whether to delete the source branch after merging | |
| pull_number | Yes | Pull Request number | |
| repo | Yes | Repository path |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"merge_method": {
"default": "merge",
"description": "Merge method",
"enum": [
"merge",
"squash",
"rebase"
],
"type": "string"
},
"owner": {
"description": "Repository owner path (enterprise, organization, or personal path)",
"type": "string"
},
"prune_source_branch": {
"description": "Whether to delete the source branch after merging",
"type": "boolean"
},
"pull_number": {
"description": "Pull Request number",
"type": "number"
},
"repo": {
"description": "Repository path",
"type": "string"
}
},
"required": [
"owner",
"repo",
"pull_number"
],
"type": "object"
}