Round 1 (bce22a5d), fixed in 9c6c909, rebased onto main with PR#135:
- YELLOW spec, Scenario#137.01 implementation_details: both scenarios now describe what the review reports, not the…
Fixed in 9c6c909: title, feature and Solution now say that the case of unquoted SQL names is not reported at all,
and that only a finding the code rules out becomes a [low] hint.
Fixed in 9c6c909: the link is wrapped.
Fixed in 9c6c909: the rule now needs a condition that the shown code rules out, e.g. a check that rejects the input;
concurrency, null values, external data or configuration do not count as…
284f80eeae
werkrevisor 0.63.0: the Codex runner releases a held merge once every line comment is resolved (#135)
Fixed in 7375eda, the same finding as on 2d6234f (review of the earlier head 6e023c0): the runner updates ai-review/codex first and skips the release if that fails.
Fixed in 7375eda: the line is wrapped.
Fixed in 7375eda: the runner first brings ai-review/codex up to date and releases only after that; if that fails, it releases nothing. Red/green with `test_the_codex_status_is_up_to_date_before…
Fixed: the PR title now says 0.65.0, as the code and the PR document after the rebase onto 0.64.0.
Fixed in 6e023c0 by the documentation: the runner releases in its next run; a run with Codex reviews ends later. The README and the PR document name the bound (about 31 minutes with `max_reviews_…