skills.rest
KevinHuangIsLearning
KevinHuangIsLearningCOMMUNITY
Explore all skills by this author →
GitHub

update-pr

Updates an existing pull request with new commits and revised metadata.

10|1|Updated Jul 13, 2026
Search Tags:#git#workflow#code review#pull request#commit#github#merge conflicts
One-click install
npx skills add https://github.com/KevinHuangIsLearning/shortestpath-ide --skill update-pr-kevinhuangislearning
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: update-pr
Source: https://github.com/KevinHuangIsLearning/shortestpath-ide/tree/main/src/vs/sessions/skills/update-pr
Command: npx skills add https://github.com/KevinHuangIsLearning/shortestpath-ide --skill update-pr-kevinhuangislearning

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? Keeping an open pull request in sync with ongoing work is tedious: you must pull incoming changes, resolve conflicts, run checks, commit, and rewrite the PR title and description. This Skill automates that entire update cycle for the current session's pull request. ## Core Features & Use Cases - Incoming change synchronization: Detects commits on the pull request that are missing locally, pulls them in, and resolves merge conflicts. - Build and hygiene verification: Runs compile and hygiene tasks and fixes any errors before pushing. - Automatic commit and metadata refresh: Commits uncommitted changes via the /commit skill and updates the PR title and description when changes are significant. - Use Case: A reviewer left feedback and pushed commits to your PR. Invoke this Skill to merge their changes, verify the build, commit your fixes, and push an updated PR with an accurate description. ## Quick Start Ask the assistant to update the pull request for the current session with your latest changes.

Frequently Asked Questions about update-pr

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I update an existing pull request with new changes?▼

Invoke the update-pr skill for the current session. It pulls incoming commits, resolves conflicts, runs compile and hygiene tasks, commits uncommitted changes, and pushes the updated pull request with revised title and description.

How to sync a pull request when someone else pushed commits to it?▼

The skill first checks for commits on the pull request that are not on your current branch. It pulls those incoming changes into your branch and resolves any merge conflicts before proceeding with your own updates.

Does the skill update the pull request title and description automatically?▼

Yes, but only when the outgoing changes introduce significant modifications to the pull request. In that case it rewrites the title and description to reflect the new state before pushing.

What happens if the build fails during a pull request update?▼

The skill runs compile and hygiene tasks before committing and fixes any errors it encounters. The pull request is only updated after these checks pass, preventing broken code from being pushed.

When should I not use the update-pr skill?▼

Avoid it when no pull request exists for the current session, since it operates on an existing PR. For creating a new pull request or committing without PR context, use the dedicated commit or PR-creation workflows instead.

Related Skills

Explore More Software Engineering Skills→
tylerbutlertylerbutler

create-pr

Create GitHub pull requests for the FluidFramework repository with branch validation and changeset checks.

Community
Intermediate
taracodlabstaracodlabs
799

github-pr-workflow

Manages the full GitHub pull request lifecycle using the gh CLI.

Official
Intermediate
trystan2ktrystan2k
1

agent-ci

Runs GitHub Actions CI pipelines locally to validate code before pushing.

Community
Intermediate
dhntdhnt

amend

Amend the most recent unpublished Git commit with force-with-lease safety.

Official
Intermediate