From 531c640705931614484ebcde4c82b5b753f55fb7 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Wed, 18 Oct 2023 09:27:12 -0700 Subject: [PATCH] Suggest updated git user locally, not globally --- aider/main.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/aider/main.py b/aider/main.py index ffad5f454..10849fc7d 100644 --- a/aider/main.py +++ b/aider/main.py @@ -60,10 +60,10 @@ def setup_git(git_root, io): with repo.config_writer() as git_config: if not global_git_config.has_option("user", "name"): git_config.set_value("user", "name", "Your Name") - io.tool_error('Update git name with: git config --global user.name "Your Name"') + io.tool_error('Update git name with: git config user.name "Your Name"') if not global_git_config.has_option("user", "email"): git_config.set_value("user", "email", "you@example.com") - io.tool_error('Update git email with: git config --global user.email "you@example.com"') + io.tool_error('Update git email with: git config user.email "you@example.com"') io.tool_output("Git repository created in the current working directory.")