Initialize git repo in workspace when no GitHub repo is selected (#7904)

Co-authored-by: openhands <openhands@all-hands.dev>
This commit is contained in:
Robert Brennan
2025-04-21 18:34:42 -04:00
committed by GitHub
parent b3bd3924a0
commit bf9f2aa7a5
3 changed files with 35 additions and 21 deletions

View File

@@ -115,18 +115,16 @@ def initialize_repository_for_runtime(
)
provider_tokens = secret_store.provider_tokens if secret_store else None
repo_directory = None
if selected_repository and provider_tokens:
logger.debug(f'Selected repository {selected_repository}.')
repo_directory = call_async_from_sync(
runtime.clone_repo,
GENERAL_TIMEOUT,
provider_tokens,
selected_repository,
None,
)
# Run setup script if it exists
runtime.maybe_run_setup_script()
logger.debug(f'Selected repository {selected_repository}.')
repo_directory = call_async_from_sync(
runtime.clone_or_init_repo,
GENERAL_TIMEOUT,
provider_tokens,
selected_repository,
None,
)
# Run setup script if it exists
runtime.maybe_run_setup_script()
return repo_directory