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

Remove redundant toggle

Browse Source
This commit is contained in:
Zohar Meir
2023-08-22 18:28:43 +03:00
committed by GitHub
parent 62fe1de12d
commit a9a7a55f02
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
pr_agent/settings/configuration.toml
View File

@ -46,7 +46,6 @@ ratelimit_retries = 5
[github_app] [github_app]
# these toggles allows running the github app from custom deployments # these toggles allows running the github app from custom deployments
bot_user = "github-actions[bot]" bot_user = "github-actions[bot]"
verify_signature = true
override_deployment_type = true override_deployment_type = true
# in some deployments it's possible to get duplicate requests if the handling is long, # in some deployments it's possible to get duplicate requests if the handling is long,
# these settings are used to avoid handling duplicate requests. # these settings are used to avoid handling duplicate requests.