Add option to automatically stash changes before performing git pull

2026-04-24 10:38:59 +01:00 · 2018-10-02 22:17:53 +03:00
parent e4e040c6f2
commit ae2d0cd96f
3 changed files with 56 additions and 30 deletions
--- a/extensions/git/package.json
+++ b/extensions/git/package.json
@@ -1175,6 +1175,12 @@
          "default": false,
          "description": "%config.fetchOnPull%"
        },
+        "git.autoStash": {
+          "type": "boolean",
+          "scope": "resource",
+          "default": false,
+          "description": "%config.autoStash%"
+        },
        "git.allowForcePush": {
          "type": "boolean",
          "default": false,