Prefer client pull diagnostics over server push#94

KevinEady wants to merge 1 commit intoactions:mainactions/languageservices:mainfrom

KevinEady:use-pull-diagnosticsKevinEady/languageservices:use-pull-diagnosticsCopy head branch name to clipboard