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

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

Closed gcp-cherry-pick-bot[bot] closed 8 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: