Create PR (GitHub)

Purpose

Create a GitHub pull request in a consistent, policy-compliant way, and include the repo’s preferred merge method guidance (rebase and merge).

This skill prefers using GitHub chat tools because they can be permanently allowed in VS Code and avoid terminal pager/editor issues. If chat tools are unavailable (or repo context is unknown), fall back to the repo wrapper script

scripts/pr-github.sh

.

Hard Rules

Must

• Work on a non-

  main

  branch.
• Ensure the working tree is clean before creating a PR.
• Push the branch to

  origin

  before creating the PR.
• Before creating the PR, post the exact Title and Description in chat.
• Use the standard PR body template (Problem / Change / Verification).
• Use Rebase and merge for merging PRs to maintain a linear history (see

  CONTRIBUTING.md

  ).

Must Not

• Create PRs from

  main

  .
• Use “Squash and merge” or “Create a merge commit”.
• Use

  --fill

  or any heuristic that guesses title/body (not supported by the wrapper).

Actions

0. Title + Description (Required)

Before running any PR creation command, provide in chat:

• PR title (exact)
• PR description (exact), using this template:

## Problem
<why is this change needed?>

## Change
<what changed?>

## Verification
<how was it validated?>

Recommended: One-Command Wrapper

Create a PR:

echo "## Summary\n\nPR description" | scripts/pr-github.sh create --title "<type(scope): summary>" --body-from-stdin

Create and merge (only when explicitly requested):

echo "## Summary\n\nPR description" | scripts/pr-github.sh create-and-merge --title "<type(scope): summary>" --body-from-stdin

1. Pre-flight Checks

git branch --show-current
git status --short

2. Push the Branch

git push -u origin HEAD

3. Create the PR

Preferred: GitHub chat tools

Use the GitHub PR creation tool with an explicit title + body (same template as above).

Notes:

• This requires repo context (

  owner

  +

  repo

  ) and your pushed branch name.
• If you do not know

  owner

  /

  repo

  reliably, use the wrapper fallback below.

Fallback:

gh

CLI

echo "## Summary\n\nPR description" | PAGER=cat gh pr create \
  --base main \
  --head "$(git branch --show-current)" \
  --title "<type(scope): summary>" \
  --body-file -

4. Merge (Only When Explicitly Requested)

This repository requires rebase and merge.

Preferred: GitHub chat tools

Use the GitHub PR merge tool with

merge_method=rebase

.

Fallback:

gh

CLI

PAGER=cat gh pr merge <pr-number> --rebase --delete-branch

5. If Rebase-Merge Is Blocked (Conflicts)

git pull --rebase origin main
# resolve conflicts

git push --force-with-lease

Then retry the merge.