Skip to content

Switch from GitHub auto-merge to manual merge-after-ci skill - #26

Merged
robdevops merged 3 commits into
mainfrom
claude/merge-after-ci
Oct 7, 2026
Merged

Switch from GitHub auto-merge to manual merge-after-ci skill#26
robdevops merged 3 commits into
mainfrom
claude/merge-after-ci

Revert "Skill: merge a PR only when asked (merge-pr), no automation"

ede497e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar