diff --git a/INSTALL.md b/INSTALL.md index 1b0f5bc4..e778e266 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -254,7 +254,7 @@ docker push codiumai/pr-agent:github_app # Push to your Docker repository > **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