Merge pull request #940 from zed-industries/telemetry

Instrument the collab server with OpenTelemetry collecting into Honeycomb.io
cddafa5fefAntonio Scandurra committed on 4/29/2022, 3:50:55 PM· committed by GitHubparents53e7c75c8179a6
14 files changedLine totals unavailable