zed-industries / zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
https://zed.dev
Other
50.45k stars 3.12k forks source link

pylsp: Update mypy plugin name (cherry-pick #21031) #21033

Closed gcp-cherry-pick-bot[bot] closed 7 hours ago

gcp-cherry-pick-bot[bot] commented 9 hours ago

Cherry-picked pylsp: Update mypy plugin name (#21031)

Follow-up to #21025

Release Notes: