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

[Bug]: [Hosted version] Github clone doesn't appear to work #4614

Open
1 task done
enyst opened this issue Oct 29, 2024 · 0 comments
Open
1 task done

[Bug]: [Hosted version] Github clone doesn't appear to work #4614

enyst opened this issue Oct 29, 2024 · 0 comments
Labels
bug Something isn't working severity:medium Affecting multiple users

Comments

@enyst
Copy link
Collaborator

enyst commented Oct 29, 2024

Is there an existing issue for the same bug?

  • I have checked the existing issues.

Describe the bug and reproduction steps

Note: I think this might depend on having a workspace configured or not, and I can't reproduce that locally without manual changes at the moment. But it might relevant because we will stop recommending a workspace and/or not mount it automatically soon. So I tried how it currently works on the hosted version only:

  • I had a few errors and reloads in the tab

  • entered a Github token in the Account

  • made a "new project"

  • chose a GitHub repository (the token has many perms on that repo)

  • entered a message (told the agent to pull main to update it)
    => Expected: to clone the repo in the workspace
    => Result: the workspace has only "Lost+found".

  • I asked the agent to do a ls
    => Expected: to see the contents of that repo at least in terminal
    => Result: it saw "Lost+found".

Note: there was no visible error, and the agent status never changed to ERROR (during this "New project")

Cc: @amanape

OpenHands Installation

Docker command in README

OpenHands Version

No response

Operating System

None

Logs, Errors, Screenshots, and Additional Context

No response

@enyst enyst added the bug Something isn't working label Oct 29, 2024
@mamoodi mamoodi added the severity:medium Affecting multiple users label Oct 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working severity:medium Affecting multiple users
Projects
None yet
Development

No branches or pull requests

2 participants