Skip to content

Document gh auto-pull/checkout behavior in merge skill#160

Merged
thavelick merged 1 commit into
mainfrom
merge_skill_document_auto_pull
Jun 17, 2026
Merged

Document gh auto-pull/checkout behavior in merge skill#160
thavelick merged 1 commit into
mainfrom
merge_skill_document_auto_pull

Conversation

@thavelick

Copy link
Copy Markdown
Owner

Summary

  • Clarify in the merge skill that gh pr merge --delete-branch, when run from a local checkout of the PR branch, automatically switches back to main, pulls, and deletes the local branch
  • Instructs agents NOT to tell the user to manually run git checkout main && git pull or git branch -d <branch> afterward

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@thavelick thavelick merged commit b2a6028 into main Jun 17, 2026
3 checks passed
@thavelick thavelick deleted the merge_skill_document_auto_pull branch June 17, 2026 03:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant