Pull Request Skill

Create a GitHub pull request from the current branch. See REFERENCE.md for branch naming, title format, and examples.

Context

• Current branch: !git branch --show-current
• Default branch: main
• Commits ahead of base: !git log --oneline origin/main..HEAD
• Full diff from base: !git diff origin/main...HEAD
• Push status: !git status -sb

Steps

1. Verify branch — if on the default branch (main or the detected default): a. Read docs/agents/git-workflow.md and look for direct-commits-to-default: yes/no b. Setting found — no: warn the user that direct commits to the default branch are not allowed for this project and stop c. Setting found — yes: skip PR creation; push commits directly with git push and report done d. No setting found: ask the user — "Direct commits have been made to <branch> (the default branch). Is this allowed in this project?" — then save their answer to docs/agents/git-workflow.md: