From f5a5b85e9da750b97367374550bce1a4322e2479 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Sat, 8 Mar 2025 17:59:22 -0800 Subject: [PATCH] do not lint when updating history --- scripts/update-history.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/update-history.py b/scripts/update-history.py index 968210a63..c4d4e5bce 100755 --- a/scripts/update-history.py +++ b/scripts/update-history.py @@ -81,7 +81,7 @@ def main(): # Construct and run the aider command message = history_prompt.format(aider_line=aider_line) - cmd = ["aider", hist_path, "--read", diff_path, "--msg", message, "--no-auto-commit"] + cmd = ["aider", hist_path, "--read", diff_path, "--msg", message, "--no-git", "--no-auto-lint"] subprocess.run(cmd) # Read back the updated history