GitHub PR Issue Analyser

Updates a GitHub issue with the specified parameters. Args: repo_owner (str): The owner of the GitHub repository. repo_name (str): The name of the GitHub repository. issue_number (int): The number of the issue to update. title (str): The new title for the issue. body (str): The new body content for the issue. labels (list[str]): A list of labels to assign to the issue. state (str): The state to set for the issue (e.g., 'open', 'closed'). Returns: str: A message indicating whether the issue was updated successfully or an error occurred. Error Handling: Logs and returns an error message if an exception occurs during the update process.

{ "properties": { "body": { "title": "Body", "type": "string" }, "issue_number": { "title": "Issue Number", "type": "integer" }, "labels": { "items": { "type": "string" }, "title": "Labels", "type": "array" }, "repo_name": { "title": "Repo Name", "type": "string" }, "repo_owner": { "title": "Repo Owner", "type": "string" }, "state": { "title": "State", "type": "string" }, "title": { "title": "Title", "type": "string" } }, "required": [ "repo_owner", "repo_name", "issue_number", "title", "body", "labels", "state" ], "title": "update_github_issueArguments", "type": "object" }