get_pull_request
Retrieve specific Pull Request details from Gitee repositories by providing the owner, repository path, and PR number to manage and review code changes efficiently.
Instructions
获取 Gitee 仓库中的特定 Pull Request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | Repository owner path (enterprise, organization, or personal path) | |
| 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": {
"owner": {
"description": "Repository owner path (enterprise, organization, or personal path)",
"type": "string"
},
"pull_number": {
"description": "Pull Request number",
"type": "number"
},
"repo": {
"description": "Repository path",
"type": "string"
}
},
"required": [
"owner",
"repo",
"pull_number"
],
"type": "object"
}