create-prlisted

<!-- 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. 1. Run the compile and hygiene tasks (fixing any errors) 2. If there are any uncommitted changes, use the `/commit` skill to commit them 3. Review all changes in the current session 4. Write a clear, concise PR title with a short area prefix (e.g. "sessions: …", "editor: …") 5. Write a description covering what changed, why, and anything reviewers should know 6. Create the pull request