From c879454a0d9b78388c2e278df13c48e7461e0fcc Mon Sep 17 00:00:00 2001 From: nawfal Date: Mon, 1 Jun 2026 08:28:15 +0700 Subject: [PATCH] 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 --- skills/finishing-a-development-branch/SKILL.md | 7 ------- 1 file changed, 7 deletions(-) diff --git a/skills/finishing-a-development-branch/SKILL.md b/skills/finishing-a-development-branch/SKILL.md index 52d10a4b..7f5337aa 100644 --- a/skills/finishing-a-development-branch/SKILL.md +++ b/skills/finishing-a-development-branch/SKILL.md @@ -123,12 +123,6 @@ git branch -d ```bash # Push branch git push -u origin - -# Detect platform from remote URL, then create PR/MR with the matching tool: -# github.com → gh pr create --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