GitHub PR Issue Analyser

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.

{ "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" }