name: create-pr description: Create a pull request for the current session. Use when the user wants to open a PR with the session's changes.
<!-- Customize this skill and select save to override its behavior. Delete that copy to restore the built-in behavior. -->
Create Pull Request
Use the GitHub MCP server to create a pull request — do NOT use the gh CLI.
- Run the compile and hygiene tasks (fixing any errors)
- If there are any uncommitted changes, use the
/commit skill to commit them - Review all changes in the current session
- Write a clear, concise PR title with a short area prefix (e.g. "sessions: …", "editor: …")
- Write a description covering what changed, why, and anything reviewers should know
- Create the pull request