Follow 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.

STEP1

When this prompt is invoked, if information corresponding to ${PR number} is not provided, prompt the user to input it.

STEP2

Execute the following command to retrieve repository information (${owner}, ${repo}): git remote -v

STEP3

Based on the ${PR number}, execute the GitHub MCP Server's get_pull_request, get_pull_request_files, and get_pull_request_diff functions.

STEP4

Based on the output from STEP3, update the pull request content for ${PR number} following the procedures and rules below.

Procedures

1. Before executing update_pull_request, output the updated pull request body content in markdown format to the chat.
2. Update the pull request using the GitHub MCP Server's update_pull_request function.
3. Output the URL of the updated pull request.

Rules

• The pull request body MUST follow the content in @github/PULL_REQUEST_TEMPLATE.md.
• HTML comments contained in @github/PULL_REQUEST_TEMPLATE.md should NOT be included in the draft pull request body.