git config: autofetch

2026-04-25 02:58:56 +01:00 · 2017-01-31 16:35:00 +01:00
parent bb72eee06d
commit 2881fe860d
2 changed files with 12 additions and 1 deletions
--- a/extensions/git/package.json
+++ b/extensions/git/package.json
@@ -360,6 +360,16 @@
          "group": "inline"
        }
      ]
+    },
+    "configuration": {
+      "title": "Git",
+      "properties": {
+        "git.autofetch": {
+          "type": "boolean",
+          "description": "%config.autofetch%",
+          "default": true
+        }
+      }
    }
  },
  "dependencies": {