Merge pull request #108 from patryk-kowalski-ds/deepsense.ai/configurable-language-extensions

Configurable Language Extensions
This commit is contained in:
mrT23
2023-07-21 21:47:52 +03:00
committed by GitHub
4 changed files with 442 additions and 57 deletions

View File

@ -4,6 +4,7 @@ git_provider="github"
publish_output=true
publish_output_progress=true
verbosity_level=0 # 0,1,2
use_extra_bad_extensions=false
[pr_reviewer]
require_focused_review=true