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

Merge pull request #223 from zmeir/zmeir-keep_original_pr_description

Browse Source 
Enhancement: Retain Original User Description and Title in PRs
This commit is contained in:
mrT23
2023-08-22 16:47:16 +03:00
committed by GitHub
parent cbe0a695d8 82fb611a26
commit 635b243280
7 changed files with 47 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
pr_agent/git_providers/github_provider.py
View File

@ -233,10 +233,7 @@ class GithubProvider(GitProvider):
def get_pr_branch(self):
return self.pr.head.ref
def get_pr_description(self):
max_tokens = get_settings().get("CONFIG.MAX_DESCRIPTION_TOKENS", None)
if max_tokens:
return clip_tokens(self.pr.body, max_tokens)
def get_pr_description_full(self):
return self.pr.body
def get_user_id(self):