| name | create-pr |
| description | Creates a pull request using the GitHub CLI. |
Steps:
- Push the current branch to origin if not already pushed. If there are uncommitted changes, use /commit first.
- Use
gh pr create to create the pull request.
- Return the PR URL.
Write a concise PR title and description summarizing the changes. The description should include a comprehensive, yet concise description of everything that changed in the PR.
Do not describe every change verbatim: the diff viewer exists for that. Describe why, not how.