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

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

robdevops merged 2 commits into

mainrobdevops/grokbot:mainfrom

claude/skill-auto-merge-switchrobdevops/grokbot:claude/skill-auto-merge-switchCopy head branch name to clipboard