fix(finishing-a-development-branch): remove gh-specific PR creation instruction

Per obra's guidance on #1609: remove the github-specific instruction rather
than replacing it with a platform-detection table. Agents already know their
forge tooling; the skill only needs to cover the push step.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This commit is contained in:
nawfal
2026-06-01 08:28:15 +07:00
committed by Drew Ritter
parent ff213eb2cf
commit c879454a0d

View File

@@ -123,12 +123,6 @@ git branch -d <feature-branch>
```bash
# Push branch
git push -u origin <feature-branch>
# 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.
@@ -236,7 +230,6 @@ 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