x/gitea-bot
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

rename bot user from jarvis-bot to i7-bot

Browse Source
This commit is contained in:
Fam Zheng 2026-04-07 10:05:51 +01:00
parent 8f664b1d77
commit 73a8c31fb5
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
workspace.py
View File

@ -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