ruff
[ty] Local type, public type, imported type, attribute type, nonlocal type
#19116
Open

[ty] Local type, public type, imported type, attribute type, nonlocal type #19116

sharkdp wants to merge 5 commits into main from david/rename-public-types
sharkdp
sharkdp Add glossary
0cf449ef
sharkdp public => nonlocal
efc15aae
sharkdp public_types.md => nonlocal_types.md
3117f5f7
sharkdp public => nonlocal
8eca0b9e
sharkdp One more
bacbae96
sharkdp sharkdp requested a review from carljm carljm 221 days ago
sharkdp sharkdp requested a review from AlexWaygood AlexWaygood 221 days ago
sharkdp sharkdp requested a review from dcreager dcreager 221 days ago
sharkdp sharkdp added internal
sharkdp sharkdp added ty
sharkdp
sharkdp commented on 2025-07-03
github-actions
sharkdp
sharkdp commented on 2025-07-03
AlexWaygood
AlexWaygood commented on 2025-07-03
AlexWaygood
AlexWaygood approved these changes on 2025-07-03
carljm
carljm approved these changes on 2025-07-03
sharkdp sharkdp marked this pull request as draft 216 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone