add ignoreSubmodules option

2026-04-20 00:28:52 +01:00 · 2020-01-16 09:39:19 -05:00
parent c6b510a3fe
commit d7ed37e864
4 changed files with 18 additions and 2 deletions
--- a/extensions/git/package.json
+++ b/extensions/git/package.json
@@ -1512,6 +1512,12 @@
          "default": false,
          "description": "%config.alwaysSignOff%"
        },
+        "git.ignoreSubmodules": {
+          "type": "boolean",
+          "scope": "resource",
+          "default": false,
+          "description": "%config.ignoreSubmodules%"
+        },
        "git.ignoredRepositories": {
          "type": "array",
          "items": {