Merge branch 'main' into zmeir-fallback_deployments

This commit is contained in:
Zohar Meir
2023-08-08 11:00:13 +03:00
committed by GitHub
10 changed files with 81 additions and 23 deletions

View File

@ -7,6 +7,7 @@ publish_output_progress=true
verbosity_level=0 # 0,1,2
use_extra_bad_extensions=false
use_repo_settings_file=true
ai_timeout=180
[pr_reviewer] # /review #
require_focused_review=true