Ensure pull diagnostics do not happen for non-full mode editors (#32449)
Follow-up of https://github.com/zed-industries/zed/pull/19230
Release Notes:
- N/A
c1a4a24bceKirill Bulatov committed on 6/10/2025, 12:05:45 PM· committed by GitHubparenteb5f595