ruff
Rename `custom-typeshed-dir`, `target-version` and `current-directory` CLI options
#14930

Merged

Rename `custom-typeshed-dir`, `target-version` and `current-directory` CLI options #14930

MichaReiser merged 5 commits into main from micha/rename-some-cli-options

MichaReiser requested a review from

carljm 1 year ago

MichaReiser requested a review from

AlexWaygood 1 year ago

MichaReiser requested a review from

sharkdp 1 year ago

MichaReiser added ty

AlexWaygood approved these changes on 2024-12-12

Rename `custom-typeshed-dir`, `target-version` and `current-directory…

9cddafd7

Apply suggestions from code review

ab25ac1e

Rename `custom-typeshed-dir` to `typeshed`

aa63ffaa

MichaReiser force pushed from 9d057824 to aa63ffaa 1 year ago

AlexWaygood commented on 2024-12-12

Update crates/red_knot/src/main.rs

7e6ae4b8

sharkdp approved these changes on 2024-12-12

carljm approved these changes on 2024-12-12

Fine tune CLI docs

063580b0

MichaReiser enabled auto-merge (squash) 1 year ago

MichaReiser merged c1837e41 into main 1 year ago

MichaReiser deleted the micha/rename-some-cli-options branch 1 year ago

Reviewers

carljm

sharkdp

AlexWaygood

Assignees

No one assigned

Labels

Milestone

No milestone