Disable Git: Continue Working in New Local Clone

gitpod-io · Jun 30, 2023 · 9574d4d · 9574d4d
1 parent f71fb99
commit 9574d4d
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",
@@ -731,7 +731,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"
       }
     ],