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