Search Results: pull-request-description

write-pr

Write a concise GitHub pull request body with five headings. The headings are Background, Design Decisions, Changes, Verification Performed, and Post-Merge Operations. When you create, open, submit, or update a pull request, use this skill. Use it for a PR description or for gh pr create. Do not use this skill for commit messages alone.