Support repo-specific configuration file

Codium-ai · Aug 1, 2023 · ab607d7 · ab607d7
1 parent bfe7304
commit ab607d7
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/pr_agent/agent/pr_agent.py b/pr_agent/agent/pr_agent.py
@@ -1,3 +1,4 @@
+import logging
 import os
 import shlex
 import tempfile
@@ -47,7 +48,10 @@ async def handle_request(self, pr_url, request) -> bool:
                     get_settings().load_file(repo_settings_file)
             finally:
                 if repo_settings_file:
-                    os.remove(repo_settings_file)
+                    try:
+                        os.remove(repo_settings_file)
+                    except Exception as e:
+                        logging.error(f"Failed to remove temporary settings file {repo_settings_file}", e)
 
         # Then, apply user specific settings if exists
         request = request.replace("'", "\\'")