Merge branch 'main' into setting-store

2023-05-17 09:55:24 -07:00
parent d2ba18eae9 0a0769d4b9
commit 89204e85c0
60 changed files with 3284 additions and 716 deletions
@@ -85,6 +85,11 @@ pub enum ClickhouseEvent {
        copilot_enabled: bool,
        copilot_enabled_for_language: bool,
    },
+    Copilot {
+        suggestion_id: Option<String>,
+        suggestion_accepted: bool,
+        file_extension: Option<String>,
+    },
 }

 #[derive(Serialize, Debug)]