Skip to content

Set up Mergepatrol - #52

Open
merge-patrol[bot] wants to merge 1 commit into
mainfrom
mergepatrol/config
Open

merge-patrol[bot] wants to merge 1 commit into
mainfrom
mergepatrol/config

Conversation

@merge-patrol

@merge-patrol merge-patrol Bot commented Oct 29, 2026 •

Copy link
Copy Markdown

This PR adds .mergepatrol/mergepatrol.yml with the settings below. Once it merges into main, Mergepatrol runs a merge queue on this repo: add the mergepatrol label to a PR to queue it.

  • Trigger label: mergepatrol
  • Batch size: 8
  • Resolver: Anthropic claude-opus-5-5, effort medium
  • Verify commands: none
  • Fix failed checks: on, up to 2 attempts

It also adds the mergepatrol agent skill, at .agents/skills/mergepatrol/SKILL.md and .claude/skills/mergepatrol/SKILL.md, so coding agents in this repo queue their PRs instead of merging them.

To change the settings later, edit the file, or use the Mergepatrol dashboard, which opens a PR like this one.


View with [code]smith Autofix with [code]smith
Need help on this PR? Tag @codesmith-bot with what you need.

@merge-patrol
merge-patrol Bot requested a review from jnsdls as a code owner October 29, 2026 15:24
@codspeed

codspeed Bot commented Oct 29, 2026

Copy link
Copy Markdown

Merging this PR will not alter performance

✅ 46 untouched benchmarks


Comparing mergepatrol/config (c271487) with main (9da5a8d)

Open in CodSpeed

This branch has not been deployed

No deployments
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.

1 participant