ruff
[red-knot] Early return from `project.is_file_open` for vendored files
#17580

Merged

[red-knot] Early return from `project.is_file_open` for vendored files #17580

MichaReiser merged 1 commit into main from micha/is-file-open

AlexWaygood added ty

MichaReiser force pushed from b6860414 to d29822f6 163 days ago

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

MichaReiser requested a review from

carljm 163 days ago

MichaReiser requested a review from

AlexWaygood 163 days ago

MichaReiser requested a review from

sharkdp 163 days ago

MichaReiser requested a review from

dcreager 163 days ago

AlexWaygood commented on 2025-04-23

[red-knot] Try to early return from `project.is_file_open`

dfc85442

MichaReiser force pushed from d29822f6 to dfc85442 163 days ago

AlexWaygood approved these changes on 2025-04-23

MichaReiser changed the title ~~[red-knot] Try to early return from `project.is_file_open`~~ [red-knot] Early return from `project.is_file_open` for vendored files 163 days ago

MichaReiser merged 8abf93f5 into main 163 days ago

MichaReiser deleted the micha/is-file-open branch 163 days ago

Reviewers

AlexWaygood

carljm

sharkdp

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [red-knot] Early return from `project.is_file_open` for vendored files #17580 Merged

[red-knot] Early return from `project.is_file_open` for vendored files #17580

ruff
[red-knot] Early return from `project.is_file_open` for vendored files
#17580

Merged