Git - logging improvements (#148656)

This commit is contained in:
Ladislau Szomoru
2022-05-05 14:52:26 +02:00
committed by GitHub
parent 77055cffc0
commit ce88518440
9 changed files with 203 additions and 98 deletions

View File

@@ -2287,6 +2287,30 @@
"default": [],
"scope": "resource",
"markdownDescription": "%config.commandsToLog%"
},
"git.logLevel": {
"type": "string",
"default": "Info",
"enum": [
"Trace",
"Debug",
"Info",
"Warning",
"Error",
"Critical",
"Off"
],
"enumDescriptions": [
"%config.logLevel.trace%",
"%config.logLevel.debug%",
"%config.logLevel.info%",
"%config.logLevel.warn%",
"%config.logLevel.error%",
"%config.logLevel.critical%",
"%config.logLevel.off%"
],
"markdownDescription": "%config.logLevel%",
"scope": "window"
}
}
},