github action now also uses .pr_agent.toml

2025-07-03 04:10:49 +08:00 · 2023-10-28 13:34:32 +03:00
parent 4dffabf397
commit 638db96311
3 changed files with 16 additions and 1 deletions
--- a/pr_agent/git_providers/utils.py
+++ b/pr_agent/git_providers/utils.py
@ -26,6 +26,7 @@ def apply_repo_settings(pr_url):
                        section_dict[key] = value
                    get_settings().unset(section)
                    get_settings().set(section, section_dict, merge=False)
+                    get_logger().info(f"Applying repo settings for section {section}, contents: {contents}")

        finally:
            if repo_settings_file: