UI はローカライズ済みです。スキルの紹介と説明文書は選択した言語へ AI が自動翻訳し、コード・コマンド・パス・専門用語は原文のままです。原作者の文書が優先されます。
スキルを探す
生産性・共同作業 · 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

スキルの説明

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
保存したスキル