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