xiaxinhang/pr-agent
1
0
Fork 0
mirror of https://github.com/qodo-ai/pr-agent.git synced 2025-07-09 23:30:38 +08:00
Code Issues Packages Projects Releases Wiki Activity

Revert "Repo settings file - fix a bug and apply to GitHub app"

Browse Source
This commit is contained in:
mrT23
2023-10-14 01:44:18 +03:00
committed by GitHub
parent 41166dc271
commit 5d774e2473
3 changed files with 16 additions and 40 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
pr_agent/agent/pr_agent.py
View File

@ -6,7 +6,6 @@ import tempfile
from pr_agent.algo.utils import update_settings_from_args
from pr_agent.config_loader import get_settings
from pr_agent.git_providers import get_git_provider
from pr_agent.git_providers.utils import apply_repo_settings
from pr_agent.tools.pr_add_docs import PRAddDocs
from pr_agent.tools.pr_code_suggestions import PRCodeSuggestions
from pr_agent.tools.pr_description import PRDescription
@ -45,7 +44,22 @@ class PRAgent:
async def handle_request(self, pr_url, request, notify=None) -> bool:
# First, apply repo specific settings if exists
apply_repo_settings(pr_url)
if get_settings().config.use_repo_settings_file:
repo_settings_file = None
try:
git_provider = get_git_provider()(pr_url)
repo_settings = git_provider.get_repo_settings()
if repo_settings:
repo_settings_file = None
fd, repo_settings_file = tempfile.mkstemp(suffix='.toml')
os.write(fd, repo_settings)
get_settings().load_file(repo_settings_file)
finally:
if 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("'", "\\'")
@ -70,4 +84,3 @@ class PRAgent:
else:
return False
return True