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

[Feature]: Notify agent of GITHUB_TOKEN when provided #4752

Open
neubig opened this issue Nov 5, 2024 · 0 comments
Open

[Feature]: Notify agent of GITHUB_TOKEN when provided #4752

neubig opened this issue Nov 5, 2024 · 0 comments
Labels
enhancement New feature or request

Comments

@neubig
Copy link
Contributor

neubig commented Nov 5, 2024

What problem or use case are you trying to solve?

When using the UI and accessing a github repository, it is standard for OpenHands to use GITHUB_TOKEN. But it doesn't necessarily know that GITHUB_TOKEN is available. Because of this, it may suggest alternative, non-optimal solutions such as adding an ssh key.

Describe the UX of the solution you'd like

It would be nice if the agent knew that it should use GITHUB_TOKEN by default.

Do you have thoughts on the technical implementation?

We may want to consider prompting the agent and telling it that it has access to the GITHUB_TOKEN environment variable when it does, although I'm not sure if this should be implemented through the frontend or backend.

@neubig neubig added the enhancement New feature or request label Nov 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

1 participant