Update settings from , profile « main »

2025-11-02 18:00:02 +01:00 · 2025-11-02 18:00:02 +01:00 · 820283190a
parent c9c12a1b06
commit 820283190a
1 changed files with 5 additions and 1 deletions
--- a/profiles/main/data/settings.json
+++ b/profiles/main/data/settings.json
@ -143,5 +143,9 @@
    "ansible.validation.lint.path": "VIRTUAL_ENV= ansible-lint",
    "files.associations": {
        "*.yml": "ansible"
-    }
+    },
+    "explorer.excludeGitIgnore": true,
+    "git.allowForcePush": true,
+    "git.autoStash": true,
+    "git.blame.editorDecoration.enabled": true
 }