feat: implement issue #1286 — persona-mention router skips any PR whose body quotes '<!-- persona:' — narrow the PR-path marker check to a body authored with the marker

Merged
DO
18d ago
+97-3

Problem

persona-mention router skips any PR whose body quotes '<!-- persona:' — narrow the PR-path marker check to a body authored with the marker

From the issue: The persona-mention router's pull_request path (#1165, live on persona-mention/v1-next as v1.19.0) skips any PR whose body mentions the persona marker, not only a PR a persona authored.

Risk

Medium — changes GitHub Actions workflow behavior, which is exercised only post-merge; verify via the affected workflow runs.

Test plan

Tests added/updated: tests/persona_mention.bats. Verification: bash scripts/dev-lead-lint.sh (shellcheck --severity=warning) ran pre-commit; the bats suite runs in CI.

Rollback

Revert this PR. No non-revertible side effects (no tags, migrations, or external state).

Monitoring

Watch the affected workflow run(s) in the Actions tab and this PR's Lint check for regressions.

Closes #1286