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

auto

Browse Source
This commit is contained in:
mrT23
2023-09-01 20:14:14 +03:00
parent 44b790567b
commit 20c32375e1
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
CONFIGURATION.md
View File

@ -44,7 +44,7 @@ When running PR-Agent from GitHub App, the default configuration file (`configur
#### GitHub app default tools
The `[github_app]` section defines the GitHub app specific configurations.
An important parameter is `pr_commands`, which is a list of tools that will be run automatically when a new PR is opened:
An important parameter is `pr_commands`, which is a list of tools that will be **run automatically when a new PR is opened**:
```
[github_app]
pr_commands = [
@ -55,7 +55,7 @@ pr_commands = [
This means that when a new PR is opened, PR-Agent will run the `describe` and `auto_review` tools.
For the describe tool, the `add_original_user_description` and `keep_original_user_title` parameters will be set to true.
However, you can override the default tool parameters by uploading a local configuration file called `.pr_agent.toml` to the root of your repo.
However, you can override the default tool parameters by uploading a local configuration file, called `.pr_agent.toml`, to the root of your repo.
For example, if your local `.pr_agent.toml` file contains:
```
[pr_description]