You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Decision: Merge PR 2036 without a stated review coverage #2037
PR #2036 (feature/auto-1987 -> develop, fixing #1987) is green (checks 10/10, merge=CLEAN, review on head, zero threads, zero suppressed), but pr_review.py wait reports COVERAGE_IS_UNSTATED: no review round states changed-file coverage for the current head, so the Merge Gate cannot prove the full diff was read. Merging without coverage is the maintainer's decision.
Activity
ptr727 commentedon Sep 29, 2026
Answered by the maintainer: squash-merge as is, coverage unstated. #2036 merged to develop as ec3eb6a.