get_github_pr_diff
Fetch the diff of a specific pull request from a GitHub repository by providing the repo owner, name, and PR number. Returns the changes as a string or an error message if issues occur.
Instructions
Fetches the diff of a specific pull request from a GitHub repository.
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 the diff for.
Returns:
str: The diff of the pull request as a string. Returns an empty string if no changes are found,
or an error message string if an exception occurs.
Error Handling:
Logs and returns the error message if an exception is raised during the fetch operation.
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_diffArguments",
"type": "object"
}