Disable Git: Continue Working in New Local Clone

gitpod-io · Jul 22, 2023 · aefa46e · aefa46e
1 parent 774cdd6
commit aefa46e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/extensions/git/package.json b/extensions/git/package.json
@@ -57,7 +57,7 @@
         "title": "%command.continueInLocalClone%",
         "category": "Git",
         "icon": "$(repo-clone)",
-        "enablement": "config.git.enabled && !git.missing && gitOpenRepositoryCount != 0 && remoteName"
+        "enablement": "false && config.git.enabled && !git.missing && gitOpenRepositoryCount != 0 && remoteName"
       },
       {
         "command": "git.clone",
@@ -757,7 +757,7 @@
       {
         "command": "git.continueInLocalClone",
         "qualifiedName": "%command.continueInLocalClone.qualifiedName%",
-        "when": "config.git.enabled && !git.missing && gitOpenRepositoryCount != 0 && remoteName",
+        "when": "false && config.git.enabled && !git.missing && gitOpenRepositoryCount != 0 && remoteName",
         "remoteGroup": "remote_42_git_0_local@0"
       }
     ],