✨ git: huge repo prevention

2026-04-27 03:54:24 +01:00 · 2017-04-19 08:44:16 +02:00
parent a0daeaaf1c
commit fb094b4322
4 changed files with 60 additions and 16 deletions
--- a/extensions/git/package.json
+++ b/extensions/git/package.json
@@ -618,6 +618,11 @@
          "type": "boolean",
          "description": "%config.ignoreLegacyWarning%",
          "default": false
+        },
+        "git.ignoreLimitWarning": {
+          "type": "boolean",
+          "description": "%config.ignoreLimitWarning%",
+          "default": false
        }
      }
    }
@@ -631,4 +636,4 @@
    "@types/node": "^7.0.4",
    "mocha": "^3.2.0"
  }
-}
+}