GitHub Batch Merge by Labels | Claude Code Skill