diff --git a/skills/finishing-a-development-branch/SKILL.md b/skills/finishing-a-development-branch/SKILL.md index bb38facb..52d10a4b 100644 --- a/skills/finishing-a-development-branch/SKILL.md +++ b/skills/finishing-a-development-branch/SKILL.md @@ -124,15 +124,11 @@ git branch -d # Push branch git push -u origin -# Create PR -gh pr create --title "" --body "$(cat <<'EOF' -## Summary -<2-3 bullets of what changed> - -## Test Plan -- [ ] <verification steps> -EOF -)" +# Detect platform from remote URL, then create PR/MR with the matching tool: +# github.com → gh pr create --title "<title>" --body "<body>" +# gitlab.* → glab mr create --title "<title>" --description "<body>" +# unknown → open the compare URL printed by git push, or ask your human partner +REMOTE_URL=$(git remote get-url origin) ``` **Do NOT clean up worktree** — user needs it alive to iterate on PR feedback. @@ -240,6 +236,7 @@ git worktree prune # Self-healing: clean up any stale registrations - Remove a worktree before confirming merge success - Clean up worktrees you didn't create (provenance check) - Run `git worktree remove` from inside the worktree +- Use `gh pr create` without checking `git remote get-url origin` first — the repo may not be on GitHub **Always:** - Verify tests before offering options