Hide Git panel outside repositories

2026-05-08 15:39:37 +02:00
parent 87d0aa3b21
commit 8b355f414b
9 changed files with 30 additions and 13 deletions
@@ -12,6 +12,7 @@ export interface Workspace {
  label: string;
  branch?: string;
  isMain: boolean;
+  isGitRepo: boolean;
  isGitWorktree: boolean;
 }