The interface is localized. Skill descriptions and documents are machine-translated by AI into your language; code, commands, paths and technical terms stay in the original, and the author's document governs.
Explore skills
Productivity · SKILL.md

update-pr

update-pr

Update the pull request for the current session. Use when the user wants to push new changes to an existing PR.

Independent GitHub snapshot · Automated classification · Original documentation governs

Skill documentation

GitHub

name: update-pr description: Update the pull request for the current session. Use when the user wants to push new changes to an existing PR.

Update Pull Request

Update the existing pull request for the current session. The context block appended to the prompt contains the pull request information.

  1. Check whether the pull request has any commits that are not yet present on the current branch (incoming changes). If there are any incoming changes, pull them into the current branch and resolve any merge conflicts
  2. Run the compile and hygiene tasks (fixing any errors)
  3. If there are any uncommitted changes, use the /commit skill to commit them
  4. If the outgoing changes introduce significant changes to the pull request, update the pull request title and description to reflect those changes
  5. Update the pull request with the new commits and information
Saved skills