Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add selected_repo to command line #6949

Draft
wants to merge 7 commits into
base: main
Choose a base branch
from
Draft

Add selected_repo to command line #6949

wants to merge 7 commits into from

Conversation

enyst
Copy link
Collaborator

@enyst enyst commented Feb 25, 2025

  • This change is worth documenting at https://docs.all-hands.dev/
  • Include this change in the Release Notes. If checked, you must provide an end-user friendly description for your change below

End-user friendly description of the problem this fixes or functionality that this introduces.


Give a summary of what the PR does, explaining any non-trivial design decisions.

This PR proposes to add the ability to have a selected_repo in main.py. I would love something like this for debugging microagents rather than loading the UI all the time. Half the time will do. 😅

It's in sandbox_config, which is not read by evals, so it's a no-op for evals if we set it and forget it. (never happens!)

  • selected_repo works in main.py
  • selected_repo works in cli.py
  • evals need a little tweak because connect is called here when the runtime is created.

Split from 6909


Link of any specific issues this addresses.


To run this PR locally, use the following command:

docker run -it --rm   -p 3000:3000   -v /var/run/docker.sock:/var/run/docker.sock   --add-host host.docker.internal:host-gateway   -e SANDBOX_RUNTIME_CONTAINER_IMAGE=docker.all-hands.dev/all-hands-ai/runtime:de193da-nikolaik   --name openhands-app-de193da   docker.all-hands.dev/all-hands-ai/openhands:de193da

@enyst enyst marked this pull request as draft February 25, 2025 21:26
@enyst enyst changed the title Add selected_repo command line arg Add selected_repo to command line Feb 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant