Rename Collaborators to Contacts
This will allow us to use the word "collaborator" to describe users that are actively collaborating on a worktree. Co-Authored-By: Antonio Scandurra <me@as-cii.com>
This commit is contained in:
parent
9f29eeda03
commit
cd2c3c3606
6 changed files with 113 additions and 125 deletions
|
@ -38,7 +38,7 @@ message Envelope {
|
|||
OpenWorktree open_worktree = 33;
|
||||
OpenWorktreeResponse open_worktree_response = 34;
|
||||
UnshareWorktree unshare_worktree = 35;
|
||||
UpdateCollaborators update_collaborators = 36;
|
||||
UpdateContacts update_contacts = 36;
|
||||
LeaveWorktree leave_worktree = 37;
|
||||
}
|
||||
}
|
||||
|
@ -190,8 +190,8 @@ message GetChannelMessagesResponse {
|
|||
bool done = 2;
|
||||
}
|
||||
|
||||
message UpdateCollaborators {
|
||||
repeated Collaborator collaborators = 1;
|
||||
message UpdateContacts {
|
||||
repeated Contact contacts = 1;
|
||||
}
|
||||
|
||||
// Entities
|
||||
|
@ -358,7 +358,7 @@ message ChannelMessage {
|
|||
Nonce nonce = 5;
|
||||
}
|
||||
|
||||
message Collaborator {
|
||||
message Contact {
|
||||
uint64 user_id = 1;
|
||||
repeated WorktreeMetadata worktrees = 2;
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue