Merge pull request #425 from Codium-ai/ok/protect_apply_settings

Add exception handling for applying repo settings failure
This commit is contained in:
mrT23
2023-11-03 11:07:49 -07:00
committed by GitHub

View File

@ -27,7 +27,8 @@ def apply_repo_settings(pr_url):
get_settings().unset(section)
get_settings().set(section, section_dict, merge=False)
get_logger().info(f"Applying repo settings for section {section}, contents: {contents}")
except Exception as e:
get_logger().exception("Failed to apply repo settings", e)
finally:
if repo_settings_file:
try: