Update user retrieval API to take both github user id and github login

2022-09-20 15:40:56 -07:00 · 2022-09-20 15:40:56 -07:00 · 1877fc234b
commit 1877fc234b
parent 9886259b3a
5 changed files with 165 additions and 39 deletions
--- a/crates/collab/src/rpc.rs
+++ b/crates/collab/src/rpc.rs
@ -1404,7 +1404,7 @@ impl Server {
        let users = match query.len() {
            0 => vec![],
            1 | 2 => db
-                .get_user_by_github_login(&query)
+                .get_user_by_github_account(&query, None)
                .await?
                .into_iter()
                .collect(),