Support custom deployments for github_app.py and add more options for automatic review actions

This commit is contained in:
zmeir
2023-08-20 09:23:21 +03:00
parent b1a2e3e323
commit 782c170883
2 changed files with 90 additions and 24 deletions

View File

@ -43,6 +43,19 @@ 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]"
verify_signature = true
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", "/auto_review"]
[gitlab]
# URL to the gitlab service
url = "https://gitlab.com"