[Feature Request]: Make git username and email configurable (#9942)

Co-authored-by: openhands <openhands@all-hands.dev>
This commit is contained in:
Graham Neubig
2025-08-01 23:20:05 +02:00
committed by GitHub
parent 39fff41dd4
commit d3983b00bd
10 changed files with 334 additions and 19 deletions

View File

@@ -57,6 +57,10 @@ def get_action_execution_server_startup_command(
username,
'--user-id',
str(user_id),
'--git-user-name',
app_config.git_user_name,
'--git-user-email',
app_config.git_user_email,
*browsergym_args,
]