From 1e38577a3c9697056a66e1f433b98fc6a618497c Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Sun, 17 Dec 2023 13:01:47 -0800 Subject: [PATCH] Announce repo size --- aider/coders/base_coder.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/aider/coders/base_coder.py b/aider/coders/base_coder.py index 2212ea9b6..2057d7e8a 100755 --- a/aider/coders/base_coder.py +++ b/aider/coders/base_coder.py @@ -179,7 +179,8 @@ class Coder: if self.repo: rel_repo_dir = self.repo.get_rel_repo_dir() - self.io.tool_output(f"Git repo: {rel_repo_dir}") + num_files = len(self.repo.get_tracked_files()) + self.io.tool_output(f"Git repo: {rel_repo_dir} with {num_files} files") else: self.io.tool_output("Git repo: none") self.find_common_root()