fix: close the review findings that landed after their PRs merged - #2890

Merged

stranske merged 6 commits into

mainfrom

closer/followup-merged-review-residue

Aug 2, 2026

Commits on Aug 1, 2026

fix: close the review findings that landed after their PRs merged

codex-automation
and
cursoragent
committed
9887145
fix(gate): keep already-strict snapshot target under allow-non-strict

codex-automation
and
cursoragent
committed
3a4b1a7
fix(gate): wire already-strict snapshot target under allow-non-strict

codex-automation
and
cursoragent
committed
3c6bec3

Commits on Aug 2, 2026

Merge branch 'main' into closer/followup-merged-review-residue
stranske
authored
c9ebfcd
fix(gate): preserve already-strict on apply and cover review gaps

codex-automation
and
cursoragent
committed
dbcc60e
chore(autofix): formatting/lint
github-actions[bot]
committed
43bd7eb