cleanup git push force

This commit is contained in:
Joao Moreno
2018-09-13 17:15:21 +02:00
parent aac29b412c
commit 4d46fb709c
3 changed files with 39 additions and 29 deletions

View File

@@ -1160,15 +1160,15 @@
"default": false,
"description": "%config.allowForcePush%"
},
"git.useForceWithLease": {
"git.useForcePushWithLease": {
"type": "boolean",
"default": true,
"description": "%config.useForceWithLease%"
"description": "%config.useForcePushWithLease%"
},
"git.dontAskForcePushConfirmation": {
"git.confirmForcePush": {
"type": "boolean",
"default": false,
"description": "%config.dontAskForcePushConfirmation%"
"default": true,
"description": "%config.confirmForcePush%"
}
}
},