repo_get_pull_request_by_id
Retrieve a specific pull request by its ID from an Azure DevOps repository. Optionally include associated work item references for detailed tracking and management.
Instructions
Get a pull request by its ID.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| includeWorkItemRefs | No | Whether to reference work items associated with the pull request. | |
| pullRequestId | Yes | The ID of the pull request to retrieve. | |
| repositoryId | Yes | The ID of the repository where the pull request is located. |
Input Schema (JSON Schema)
{
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"includeWorkItemRefs": {
"default": false,
"description": "Whether to reference work items associated with the pull request.",
"type": "boolean"
},
"pullRequestId": {
"description": "The ID of the pull request to retrieve.",
"type": "number"
},
"repositoryId": {
"description": "The ID of the repository where the pull request is located.",
"type": "string"
}
},
"required": [
"repositoryId",
"pullRequestId"
],
"type": "object"
}