Merge branch 'main' into pre-commit

This commit is contained in:
Paul Gauthier 2023-05-18 09:56:00 -07:00
commit 33ae950467

View file

@ -222,6 +222,7 @@ class Coder:
]
self.cur_messages = []
if inp.strip():
self.io.tool("Use up-arrow to retry previous command:", inp)
return