diff --git a/INSTALL.md b/INSTALL.md index ba2547b1..e778e266 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -251,6 +251,9 @@ docker push codiumai/pr-agent:github_app # Push to your Docker repository 9. Install the app by navigating to the "Install App" tab and selecting your desired repositories. +> **Note:** When running PR-Agent from GitHub App, the default configuration file (configuration.toml) will be loaded.
+> However, you can override the default tool parameters by uploading a local configuration file
+> For more information please check out [CONFIGURATION.md](CONFIGURATION.md#working-from-github-app-pre-built-repo) --- ### Method 6 - Deploy as a Lambda Function