PR #16000 [red-knot] Resolve `Options` to `Settings`

[red-knot] Resolve `Options` to `Settings` #16000

MichaReiser merged 3 commits into main from micha/settings

MichaReiser force pushed from f84f5cf4 to ec24cfab 359 days ago

MichaReiser added cli

MichaReiser added ty

MichaReiser force pushed from ec24cfab to 9020e417 359 days ago

MichaReiser marked this pull request as ready for review 359 days ago

MichaReiser requested a review from

carljm 359 days ago

MichaReiser requested a review from

AlexWaygood 359 days ago

MichaReiser requested a review from

sharkdp 359 days ago

dhruvmanila commented on 2025-02-07

dhruvmanila approved these changes on 2025-02-07

[red-knot] Resolve `Options` to `Settings`

e3416001

Implement JsonSchema for TerminalOptions

9a3f1b07

MichaReiser force pushed from 9020e417 to 9a3f1b07 359 days ago

Fix fuzz

71e4b893

MichaReiser force pushed from af800c6e to 71e4b893 359 days ago

MichaReiser merged 678b0c2d into main 356 days ago

MichaReiser deleted the micha/settings branch 356 days ago

Reviewers

dhruvmanila

carljm

AlexWaygood

sharkdp

Assignees

No one assigned

Labels

cli ty

Milestone

No milestone