add_github_pr_comment

Automates adding comments to GitHub pull requests by specifying repository details, PR number, and comment text. Simplifies collaboration and feedback integration in GitHub workflows.

Instructions

        Adds a comment to a GitHub pull request.

        Args:
            repo_owner (str): The owner of the repository.
            repo_name (str): The name of the repository.
            pr_number (int): The pull request number to add the comment to.
            comment (str): The comment text to be added.

        Returns:
            str: A message indicating the result of the comment addition. Returns a success message if the comment is added successfully, or an error message if an exception occurs.

        Error Handling:
            Catches and logs any exceptions that occur during the comment addition process. If an error is encountered, the error message is logged and returned.
        

Input Schema

Name	Required	Description	Default
`comment`	Yes
`pr_number`	Yes
`repo_name`	Yes
`repo_owner`	Yes

Input Schema (JSON Schema)

{
  "properties": {
    "comment": {
      "title": "Comment",
      "type": "string"
    },
    "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",
    "comment"
  ],
  "title": "add_github_pr_commentArguments",
  "type": "object"
}

GitHub PR Issue Analyser

add_github_pr_comment

Instructions

Input Schema

Input Schema (JSON Schema)

Other Tools from GitHub PR Issue Analyser

Related Tools

MCP directory API