/pr — Pull Request Creation

When to use

When the user runs /pr or asks to create a pull request.

Steps

1. Run

   git log --oneline main..HEAD

   to understand all commits
2. Run

   git diff main...HEAD

   to see the full diff
3. Check if the branch is pushed:

   git rev-parse --abbrev-ref --symbolic-full-name @{u}

4. If not pushed, push with

   git push -u origin HEAD

5. Create the PR using

   gh pr create

   with:

   • Title: short, under 70 chars

   • Body using the template:

     Summary

     <1-3 bullet points>

     Test plan

     • Tests pass
     • Manual verification

Rules

• NEVER force push
• Analyze ALL commits, not just the latest
• Keep the title concise — details go in the body
• Return the PR URL to the user when done