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