rename bot to ms

This commit is contained in:
Fam Zheng 2026-04-07 10:06:33 +01:00
parent 73a8c31fb5
commit 12b411a8b5

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}") raise RuntimeError(f"git clone failed: {err}")
# Configure git user for bot commits # Configure git user for bot commits
await _run(f'git config user.name "i7 Bot"', cwd=rp) await _run(f'git config user.name "麻薯"', cwd=rp)
await _run(f'git config user.email "i7-bot@euphon.net"', cwd=rp) await _run(f'git config user.email "ms@euphon.net"', cwd=rp)
return rp return rp