Skip to content

claude: add github-pr-cleanup skill#19787

Merged
wmitsuda merged 1 commit into
mainfrom
wmitsuda/github-pr-cleanup
Mar 11, 2026
Merged

claude: add github-pr-cleanup skill#19787
wmitsuda merged 1 commit into
mainfrom
wmitsuda/github-pr-cleanup

Conversation

@wmitsuda

Copy link
Copy Markdown
Member

Summary

  • Add skill that cleans up local worktrees and branches for merged GitHub PRs
  • Automatically handles cherry-pick instructions found in PR body (e.g., - [ ] Cherry-pick merge commit to release/3.4)
  • Creates cherry-pick PR, updates original PR to mark the task done

Test plan

@wmitsuda wmitsuda enabled auto-merge (squash) March 11, 2026 01:36
@wmitsuda wmitsuda merged commit 052d59d into main Mar 11, 2026
34 checks passed
@wmitsuda wmitsuda deleted the wmitsuda/github-pr-cleanup branch March 11, 2026 02:36
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.

2 participants