For /help, turn down the repo map

This commit is contained in:
Paul Gauthier 2024-07-06 17:11:24 -03:00
parent 66f7cfb38f
commit e4c637724f
3 changed files with 12 additions and 3 deletions

View file

@ -662,6 +662,8 @@ class Commands:
from_coder=self.coder,
edit_format="help",
summarize_from_coder=False,
map_tokens=512,
map_mul_no_files=1,
)
user_msg = self.help.ask(args)
user_msg += """