get_github_pr_content
Fetch the detailed content of a GitHub pull request by specifying the repository owner, name, and PR number. Use this tool to analyze pull request information for better context in repository management.
Instructions
First use get_pr_diff to fetch the diff of a specific pull request from a GitHub repository.
Then, if you still need more context use get_pr_content to fetch the content of the pull request.
Fetches the content of a GitHub pull request for a given repository and PR number.
Args:
repo_owner (str): The owner of the GitHub repository.
repo_name (str): The name of the GitHub repository.
pr_number (int): The pull request number to fetch.
Returns:
Dict[str, Any]: A dictionary containing the pull request information if successful, or an empty dictionary if no information is found or an error occurs.
Error Handling:
Logs an error message and prints the traceback to stderr if an exception is raised during the fetch operation. Returns an empty dictionary in case of errors.
Input Schema
Name | Required | Description | Default |
---|---|---|---|
pr_number | Yes | ||
repo_name | Yes | ||
repo_owner | Yes |
Input Schema (JSON Schema)
{
"properties": {
"pr_number": {
"title": "Pr Number",
"type": "integer"
},
"repo_name": {
"title": "Repo Name",
"type": "string"
},
"repo_owner": {
"title": "Repo Owner",
"type": "string"
}
},
"required": [
"repo_owner",
"repo_name",
"pr_number"
],
"title": "get_github_pr_contentArguments",
"type": "object"
}