git.pruneOnFetch setting implemented

2026-04-19 08:08:39 +01:00 · 2020-01-24 21:20:44 +01:00
parent a93ffac38a
commit 2abdb90472
3 changed files with 24 additions and 4 deletions
--- a/extensions/git/package.json
+++ b/extensions/git/package.json
@@ -1548,6 +1548,12 @@
          "default": false,
          "description": "%config.fetchOnPull%"
        },
+        "git.pruneOnFetch": {
+          "type": "boolean",
+          "scope": "resource",
+          "default": false,
+          "description": "%config.pruneOnFetch%"
+        },
        "git.pullTags": {
          "type": "boolean",
          "scope": "resource",