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

Merge pull request #800 from koid/feature/ignore-bot-pr-on-github-app

Browse Source 
Added `ignore_bot_pr` option
This commit is contained in:
Tal
2024-03-21 18:42:45 +02:00
committed by GitHub
parent 6323ff2ca2 cae0b96054
commit b4b2c7c620
2 changed files with 12 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
pr_agent/settings/configuration.toml
View File

@ -156,6 +156,7 @@ push_commands = [
"/review --pr_reviewer.num_code_suggestions=0",
]
ignore_pr_title = []
ignore_bot_pr = false
[gitlab]
url = "https://gitlab.com" # URL to the gitlab service