Merge branch 'main' into sitter-map

This commit is contained in:
Paul Gauthier 2023-10-18 15:04:55 -07:00
commit 2c98ea4448
25 changed files with 611 additions and 61 deletions

View file

@ -83,6 +83,8 @@ class RepoMap:
cache_missing = False
warned_files = set()
def __init__(
self,
map_tokens=1024,
@ -235,7 +237,10 @@ class RepoMap:
for fname in fnames:
if not Path(fname).is_file():
self.io.tool_error(f"Repo-map can't include {fname}")
if fname not in self.warned_files:
self.io.tool_error(f"Repo-map can't include {fname}")
self.warned_files.add(fname)
continue
# dump(fname)