Skip to content
agent-ops
Menu

Feature

Held for human merge by default

Only dependency bumps and whitespace-only diffs may merge without a human.

ADR 0003 sets a narrow auto-merge allowlist. A pull request merges on its own only if it is a dependency bump or a whitespace-only diff, completeness-eval said DONE, and the target repo’s CI is green.

Whitespace-only means the diff disappears under git diff -w. A formatter that also changes quotes does not count, so it is held, by design.

Everything else, including any refactor, feature or public-facing change, stays open for a human to merge.