update_github_pr_description
Modify GitHub pull request titles and descriptions by specifying repository details, PR number, and updated content. Returns success or error messages for each operation.
Instructions
Updates the title and description of 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 update.
new_title (str): The new title for the pull request.
new_description (str): The new description for the pull request.
Returns:
str: A message indicating the result of the update operation. Returns a success message if the update is successful, or an error message if an exception occurs.
Error Handling:
Catches and logs any exceptions that occur during the update process. If an error is encountered, the error message is logged and returned.
Input Schema
Name | Required | Description | Default |
---|---|---|---|
new_description | Yes | ||
new_title | Yes | ||
pr_number | Yes | ||
repo_name | Yes | ||
repo_owner | Yes |
Input Schema (JSON Schema)
{
"properties": {
"new_description": {
"title": "New Description",
"type": "string"
},
"new_title": {
"title": "New Title",
"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",
"new_title",
"new_description"
],
"title": "update_github_pr_descriptionArguments",
"type": "object"
}