ruff
Filter private symbols from stubs if they are internal types
#19121
Merged

Filter private symbols from stubs if they are internal types #19121

zanieb merged 3 commits into main from zb/filter-completions
zanieb
zanieb Filter private symbols from stubs if they are internal types
d2b0fd12
zanieb zanieb added server
zanieb zanieb added ty
github-actions
zanieb Add test for `os._exit`
c5d66917
zanieb
AlexWaygood
AlexWaygood commented on 2025-07-03
zanieb
zanieb commented on 2025-07-03
AlexWaygood
AlexWaygood commented on 2025-07-03
zanieb
zanieb commented on 2025-07-03
zanieb Add multifile completions tests
65f73384
zanieb zanieb force pushed from 74af9ee5 to 65f73384 1 year ago
zanieb zanieb marked this pull request as ready for review 1 year ago
zanieb zanieb requested a review from carljm carljm 1 year ago
zanieb zanieb requested a review from sharkdp sharkdp 1 year ago
zanieb zanieb requested a review from dcreager dcreager 1 year ago
zanieb zanieb requested a review from MichaReiser MichaReiser 1 year ago
BurntSushi
BurntSushi approved these changes on 2025-07-03
zanieb zanieb merged 1c6717b1 into main 1 year ago
zanieb zanieb deleted the zb/filter-completions branch 1 year ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone