use more resource level settings for git

This commit is contained in:
Joao Moreno
2018-07-06 15:03:36 +02:00
parent 50189ad617
commit b5e8f88e3b
2 changed files with 4 additions and 1 deletions

View File

@@ -943,11 +943,13 @@
},
"git.enableSmartCommit": {
"type": "boolean",
"scope": "resource",
"description": "%config.enableSmartCommit%",
"default": false
},
"git.enableCommitSigning": {
"type": "boolean",
"scope": "resource",
"description": "%config.enableCommitSigning%",
"default": false
},
@@ -958,6 +960,7 @@
},
"git.promptToSaveFilesBeforeCommit": {
"type": "boolean",
"scope": "resource",
"default": false,
"description": "%config.promptToSaveFilesBeforeCommit%"
},