Skip to content

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

robdevops merged 2 commits into
mainfrom
claude/skill-auto-merge-switch

Conversation

@robdevops

@robdevops robdevops commented Oct 7, 2026 •

Copy link
Copy Markdown
Owner

Summary

Removes the /merge-green-prs skill. Claude Code's CI button has an "Auto-merge when ready" checkbox, which uses GitHub's native auto-merge, so the skill only duplicated it.

Changes

  • Deletes .claude/skills/merge-green-prs/SKILL.md (this PR's first commit had made the skill respect the checkbox; the second retires it).
  • CLAUDE.md: replaces the skill's line with a note on how merging works: tick "Auto-merge when ready"; it needs "Allow auto-merge" in the repo settings and check as a required status on main.

Before the checkbox works

Ticking it currently fails with "Auto-merge is not available for this pull request", because Settings → General → Pull Requests → Allow auto-merge is off. Turn that on, and make sure main requires the check status (otherwise GitHub merges as soon as the PR is mergeable, before the tests finish).

Test plan

  • make check on Python 3.13.5 (ruff + pytest): 211 passed
  • CI check job on this PR
  • After enabling "Allow auto-merge": tick the box on a PR and confirm GitHub merges it when check passes

🤖 Generated with Claude Code

https://claude.ai/code/session_014k4kywyN5dAo39izUPvxbw

claude added 2 commits October 7, 2026 23:09
The 'Auto merge when complete' checkbox in Claude Code's CI button (GitHub auto-merge,
a non-null auto_merge on the PR) now enables the skill per PR. If the flag is off or
not visible, the PR is reported and left alone. The skill never toggles it.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_014k4kywyN5dAo39izUPvxbw
The CI button's 'Auto-merge when ready' checkbox is GitHub's native auto-merge, so the
skill only duplicated it. CLAUDE.md now says how merging works and what it needs.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_014k4kywyN5dAo39izUPvxbw
@robdevops robdevops changed the title merge-green-prs: only merge PRs with auto-merge switched on Retire the merge-green-prs skill; merging is GitHub auto-merge Oct 7, 2026
@robdevops
robdevops merged commit 2a2cac1 into main Oct 7, 2026
1 check passed
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