Use this skill when creating a GitHub pull request for changes to this repository, or when editing an existing PR's title or description. CLI This skill uses the CLI throughout. If a command fails because it is not installed or not authenticated, fall back to providing the PR title and body clearly so the user can copy-paste them, along with the relevant GitHub URL: - New PR : (get branch from ) - Edit existing PR : — instruct them to select Edit on the description. Editing an existing PR When asked to update or edit an existing PR description (or title), follow these rules strictly — then st…