[red-knot] Add `--ignore`, `--warn`, and `--error` CLI arguments#15689

Merged

MichaReiser merged 3 commits intomainfrom micha/ignore-warn-error-cli-arguments

Jan 24, 2025

+396-83

Commits on Jan 23, 2025

[red-knot] Add --ignore, --warn, and --error CLI arguments
MichaReiser
committed

Commits on Jan 24, 2025