GitHub PR Issue Analyser

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.

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