Repository navigation

Retire the merge-green-prs skill; merging is GitHub auto-merge - #19

Merged

robdevops merged 2 commits into

mainfrom

claude/skill-auto-merge-switch

Oct 7, 2026

Merged

Retire the merge-green-prs skill; merging is GitHub auto-merge#19
robdevops merged 2 commits into
mainfrom
claude/skill-auto-merge-switch

Commits on Oct 7, 2026
- merge-green-prs: only merge PRs with auto-merge switched on
  claude
  committed
  5267784
- Retire the merge-green-prs skill: GitHub auto-merge does the merging
  claude
  committed
  db67e4e