1056 commits

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	71beebc913	Fix warning	2022-04-12 10:52:16 +02:00
Antonio Scandurra	1d84876cfd	Adjust distribution in randomized test	2022-04-12 10:15:38 +02:00
Antonio Scandurra	3e4bc75160	Merge branch 'main' into randomized-test-improvements	2022-04-12 10:14:08 +02:00
Nathan Sobo	d8e4e924cc	Merge branch 'main' into collab-renames	2022-04-11 19:07:07 -06: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