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

Refactor github_app.py to improve handling of PR events and comments

Browse Source
This commit is contained in:
mrT23
2024-02-22 17:26:47 +02:00
parent ee59d34e39
commit b884920ef2
2 changed files with 143 additions and 148 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
pr_agent/settings/configuration.toml
View File

@ -133,12 +133,7 @@ try_fix_invalid_inline_comments = true
[github_app]
# these toggles allows running the github app from custom deployments
bot_user = "github-actions[bot]"
override_deployment_type = true
# in some deployments it's possible to get duplicate requests if the handling is long,
# these settings are used to avoid handling duplicate requests.
duplicate_requests_cache = false
duplicate_requests_cache_ttl = 60 # in seconds
# settings for "pull_request" event
handle_pr_actions = ['opened', 'reopened', 'ready_for_review', 'review_requested']
pr_commands = [