diff --git a/CONFIGURATION.md b/CONFIGURATION.md index 5124bb63..7790f9f5 100644 --- a/CONFIGURATION.md +++ b/CONFIGURATION.md @@ -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]