Update pull request
Updates pull request content and description following repository template guidelines.
/plugin marketplace add hnegishi/cc-prtools/plugin install cc-prtools@hnegishiFollow the instructions in the STEP sections below to update the specified pull request.
This command assumes the use of the gh command. If it's not available, use the GitHub MCP Server as an alternative.
When this prompt is invoked, if information corresponding to ${PR number} is not provided, prompt the user to input it.
Execute the following command to retrieve repository information (${owner}, ${repo}):
git remote -v
Based on the ${PR number}, execute the GitHub MCP Server's get_pull_request, get_pull_request_files, and get_pull_request_diff functions.
Based on the output from STEP3, update the pull request content for ${PR number} following the procedures and rules below.
update_pull_request, output the updated pull request body content in markdown format to the chat.update_pull_request function.