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

Refactor handle_closed_pr function to check for merged PRs

Browse Source
This commit is contained in:
mrT23
2024-02-26 20:56:43 +02:00
parent 910c56c851
commit edc9d8944e
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
pr_agent/servers/github_app.py
View File

@ -207,8 +207,11 @@ async def handle_push_trigger_for_new_commits(body: Dict[str, Any],
def handle_closed_pr(body, event, action, log_context):
pull_request = body.get("pull_request")
api_url = pull_request.get("url")
pull_request = body.get("pull_request", {})
is_merged = pull_request.get("merged", False)
if not is_merged:
return
api_url = pull_request.get("url", "")
pr_statistics = get_git_provider()(pr_url=api_url).calc_pr_statistics(pull_request)
with get_logger().contextualize(pr_statistics=pr_statistics):
get_logger().info("PR-Agent statistics for closed PR", analytics=True)