chore: rename FetchBufferUsers (#1)

hexedtech · Jan 25, 2025 · 68efa1c · 68efa1c
1 parent 51f6bb1
commit 68efa1c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/proto/workspace.proto b/proto/workspace.proto
@@ -20,7 +20,7 @@ service Workspace {
 	// List users in the workspace.
 	rpc ListUsers (common.Empty) returns (UserList);
 	// List users within a given buffer.
-	rpc ListBufferUsers (files.BufferNode) returns (UserList);
+	rpc FetchBufferUsers (files.BufferNode) returns (UserList);
 }
 
 // A message representing a list of users.
@@ -67,4 +67,4 @@ message WorkspaceEvent {
 		FileRename rename = 4;
 		FileDelete delete = 5;
 	}
-}
+}