From 73a8c31fb5c66cc5c4e07fd8323c2fee443b73f1 Mon Sep 17 00:00:00 2001 From: Fam Zheng Date: Tue, 7 Apr 2026 10:05:51 +0100 Subject: [PATCH] rename bot user from jarvis-bot to i7-bot --- workspace.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/workspace.py b/workspace.py index 6b0dbaa..cdd4d86 100644 --- a/workspace.py +++ b/workspace.py @@ -54,7 +54,7 @@ async def ensure_repo(owner: str, repo: str, issue_number: int) -> Path: raise RuntimeError(f"git clone failed: {err}") # Configure git user for bot commits - await _run(f'git config user.name "Jarvis Bot"', cwd=rp) - await _run(f'git config user.email "jarvis-bot@euphon.net"', cwd=rp) + await _run(f'git config user.name "i7 Bot"', cwd=rp) + await _run(f'git config user.email "i7-bot@euphon.net"', cwd=rp) return rp