mirror of
https://github.com/qodo-ai/pr-agent.git
synced 2025-12-17 21:35:17 +00:00
Support repo-specific configuration file
This commit is contained in:
parent
bfe7304449
commit
ab607d74be
1 changed files with 5 additions and 1 deletions
|
|
@ -1,3 +1,4 @@
|
||||||
|
import logging
|
||||||
import os
|
import os
|
||||||
import shlex
|
import shlex
|
||||||
import tempfile
|
import tempfile
|
||||||
|
|
@ -47,7 +48,10 @@ class PRAgent:
|
||||||
get_settings().load_file(repo_settings_file)
|
get_settings().load_file(repo_settings_file)
|
||||||
finally:
|
finally:
|
||||||
if repo_settings_file:
|
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
|
# Then, apply user specific settings if exists
|
||||||
request = request.replace("'", "\\'")
|
request = request.replace("'", "\\'")
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue