mirror of
https://github.com/Aider-AI/aider.git
synced 2025-06-06 04:35:00 +00:00
Merge branch 'main' into diffs
This commit is contained in:
commit
1676a0ec54
1 changed files with 5 additions and 4 deletions
|
@ -109,6 +109,7 @@ class Commands:
|
||||||
|
|
||||||
# repo map
|
# repo map
|
||||||
other_files = set(self.coder.get_all_abs_files()) - set(self.coder.abs_fnames)
|
other_files = set(self.coder.get_all_abs_files()) - set(self.coder.abs_fnames)
|
||||||
|
if self.coder.repo_map:
|
||||||
repo_content = self.coder.repo_map.get_repo_map(self.coder.abs_fnames, other_files)
|
repo_content = self.coder.repo_map.get_repo_map(self.coder.abs_fnames, other_files)
|
||||||
if repo_content:
|
if repo_content:
|
||||||
tokens = len(self.tokenizer.encode(repo_content))
|
tokens = len(self.tokenizer.encode(repo_content))
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue