WIP

2021-09-20 18:05:46 -07:00
parent 8b1a2c8cd2
commit 5dfd4be174
5 changed files with 752 additions and 573 deletions
@@ -39,6 +39,7 @@ message Envelope {
        OpenWorktreeResponse open_worktree_response = 34;
        UnshareWorktree unshare_worktree = 35;
        UpdateCollaborators update_collaborators = 36;
+        LeaveWorktree leave_worktree = 37;
    }
 }

@@ -75,6 +76,10 @@ message JoinWorktree {
    uint64 worktree_id = 1;
 }

+message LeaveWorktree {
+    uint64 worktree_id = 1;
+}
+
 message JoinWorktreeResponse {
    Worktree worktree = 2;
    uint32 replica_id = 3;
@@ -139,6 +139,7 @@ messages!(
    JoinWorktree,
    JoinWorktreeResponse,
    LeaveChannel,
+    LeaveWorktree,
    OpenBuffer,
    OpenBufferResponse,
    OpenWorktree,