diff --git a/.agents/skills/mergepatrol/SKILL.md b/.agents/skills/mergepatrol/SKILL.md new file mode 100644 index 0000000..778606c --- /dev/null +++ b/.agents/skills/mergepatrol/SKILL.md @@ -0,0 +1,128 @@ +--- +name: mergepatrol +description: This repo merges pull requests through MergeLoop, a label-driven merge queue. Use when merging, landing or shipping a PR, queueing or dequeueing one, reading a MergeLoop comment or label on a PR, or working the review comments on a queued PR. +--- + +# MergeLoop + +Pull requests in this repo land through MergeLoop's merge queue. Queue a PR with a label and let MergeLoop merge it; merging by hand or pushing to the default branch races the queue. + +The installed skill keeps its `mergepatrol` name and paths so existing repos still find it. + +## The labels + +The trigger label is `label` in `.mergepatrol/mergepatrol.yml` on the default branch, `mergepatrol` when the file leaves it out. Below, `