mirror of
https://github.com/neovim/neovim.git
synced 2025-10-26 12:27:24 +00:00
Follw up to 63b3408551
`is_pull` should be optional, otherwise it is an API change that
introduces warnings in consumers.
Also fixes the type annotation of `_client_pull_namespaces` where the
key is a string.