Julia de9c58d216 Merge pull request #1983 from zed-industries/multi-buffer-git-gutter ... Multi buffer git gutter		2022-12-19 10:53:42 -05:00
..
bin	Remove unused UserId import from seed script	2022-12-06 09:07:25 +01:00
db	Allow nulls in projects.host_connection_{id,server_id}	2022-12-15 11:30:51 +01:00
rpc	Use a synchronous mutex for ConnectionPool	2022-12-13 13:50:51 +01:00
api.rs	Merge branch 'main' into reconnections-2	2022-12-02 19:09:33 +01:00
auth.rs	Start using the new sea-orm backed database	2022-12-01 14:41:59 +01:00
db.rs	Allow nulls in projects.host_connection_{id,server_id}	2022-12-15 11:30:51 +01:00
env.rs	Rename zed-server to collab	2022-04-09 08:30:42 -06:00
errors.rs	Remove more unused code related to GitHub auth and errors	2022-04-21 08:57:49 -06:00
executor.rs	Remove Executor trait from collab and use an enum instead	2022-12-12 11:43:08 +01:00
integration_tests.rs	Merge pull request #1983 from zed-industries/multi-buffer-git-gutter	2022-12-19 10:53:42 -05:00
lib.rs	WIP	2022-12-14 18:02:39 +01:00
main.rs	Minor stylistic change	2022-12-15 16:40:16 +01:00
rpc.rs	Identify LiveKit room participants by user id, not peer id	2022-12-15 17:19:32 -08:00