From 5cbcef276c1a5b535e33f08c36d257034669be2d Mon Sep 17 00:00:00 2001 From: idavidov Date: Thu, 31 Aug 2023 09:19:02 +0300 Subject: [PATCH 1/2] cross link in INSTALL for GitAPP configuration overwrite --- INSTALL.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/INSTALL.md b/INSTALL.md index ba2547b1..1b0f5bc4 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -251,7 +251,10 @@ 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 From 8823d8c0e962d4465e5a7b46671559336b948705 Mon Sep 17 00:00:00 2001 From: idavidov Date: Thu, 31 Aug 2023 09:21:40 +0300 Subject: [PATCH 2/2] small format change --- INSTALL.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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