ruff
[ty] Remove `GenericAlias`-related todo type
#21728

Merged

[ty] Remove `GenericAlias`-related todo type #21728

sharkdp merged 1 commit into main from david/remove-genericalias-todo

sharkdp added ty

sharkdp force pushed from 5acc2de3 to b891be7b 12 days ago

sharkdp changed the title ~~[ty] Remove GenericAlias todo type~~ [ty] Remove `GenericAlias`-related todo type 12 days ago

sharkdp marked this pull request as ready for review 12 days ago

sharkdp requested a review from

carljm 12 days ago

sharkdp requested a review from

AlexWaygood 12 days ago

sharkdp requested a review from

dcreager 12 days ago

sharkdp commented on 2025-12-01

AlexWaygood approved these changes on 2025-12-01

[ty] Remove GenericAlias todo type

f111e088

sharkdp force pushed from b891be7b to f111e088 12 days ago

sharkdp enabled auto-merge (squash) 12 days ago

sharkdp merged 116fd7c7 into main 12 days ago

sharkdp deleted the david/remove-genericalias-todo branch 12 days ago

Reviewers

AlexWaygood

carljm

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone