3 Commits

Include renames

Author	SHA1	Message	Date
Antonio Scandurra	4e057da69b	Update contacts list when a project is shared	2022-04-12 11:41:20 +02:00
Antonio Scandurra	3e4bc75160	Merge branch 'main' into randomized-test-improvements	2022-04-12 10:14:08 +02:00
Nathan Sobo	ab8204368c	Rename zed-server to collab ... Over time, I think we may end up having multiple services, so it seems like a good opportunity to name this one more specifically while the cost is low. It just seems like naming it "zed" and "zed-server" leaves it a bit open ended.	2022-04-09 08:30:42 -06:00