Comment by yencabulator

Ehh Zed tried to push the collaborative editing before the AI hype was thing (that blog post is from 2022), and seemingly everyone outside of Zed developers promptly ignored the idea.

The Zed developers quickly refocused on milking the AI cow.

I'll argue git is plenty good, and there are a lot of people who don't understand it very well. The ones talking about Github PRs as if they were related to Git in any way most definitely don't.