Can force repo-map on with: --map-tokens 1024

This commit is contained in:
Paul Gauthier 2024-08-05 14:41:56 -03:00
parent f8e76bcb88
commit 617b1bdee2
9 changed files with 17 additions and 7 deletions

View file

@ -181,7 +181,7 @@ def get_parser(default_config_files, git_root):
group.add_argument(
"--map-tokens",
type=int,
default=1024,
default=None,
help="Max number of tokens to use for repo map, use 0 to disable (default: 1024)",
)
group.add_argument(