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

Merge pull request #233 from zmeir/zmeir-automatic_github_app_options

Browse Source 
Support custom deployments for github_app.py and add more options for automatic review actions
This commit is contained in:
mrT23
2023-08-23 09:20:46 +03:00
committed by GitHub
parent 49c58f997a f17b4fcc9e
commit fd39c64bed
2 changed files with 82 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
pr_agent/settings/configuration.toml
View File

@ -52,6 +52,21 @@ extra_instructions = ""
deployment_type = "user"
ratelimit_retries = 5
[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 = [
"/describe --pr_description.add_original_user_description=true --pr_description.keep_original_user_title=true",
"/auto_review",
]
[gitlab]
# URL to the gitlab service
url = "https://gitlab.com"