diff options
author | stuebinm | 2021-11-28 22:24:30 +0100 |
---|---|---|
committer | stuebinm | 2021-11-28 22:26:48 +0100 |
commit | efb64e0228c19ef7936446d3ca14a7d7a6e2540b (patch) | |
tree | b9988c843847ed19e1e9fce2f3072a318f489f81 /.gitignore | |
parent | a683b00fa1bc506be76919f4f0b166e595ef7a5b (diff) |
various fixes to bugs
Among them
- always set correct exit codes
- refuse to write out files if the out path already exists
- calculate the overall severity correctly
- slightly changed the json output schema
- also output the text output format in json
- make the default config.json suitable for a production environment
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions