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.

Sign up for GitHub

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

Jump to bottom

[Bug]: "Push to GitHub" shows up even if there's no repo connected #5112

Closed
1 task done
rbren opened this issue Nov 18, 2024 · 8 comments
Closed
1 task done

[Bug]: "Push to GitHub" shows up even if there's no repo connected #5112

rbren opened this issue Nov 18, 2024 · 8 comments
Assignees
@amanape
Labels
awaiting release Fixed in main. Waiting for release. bug Something isn't working fix-me Attempt to fix this issue with OpenHands severity:medium Affecting multiple users

Comments

@rbren
Copy link
Collaborator

rbren commented Nov 18, 2024

Is there an existing issue for the same bug?

  • I have checked the existing issues.

Describe the bug and reproduction steps

Screenshot 2024-11-18 at 4 37 56 PM

Repro:

  • start a new project from scratch
  • push to github appears

My guess is it currently shows up if you're logged into GitHub, rather than if there's a repo connected to the current project. The latter is the correct trigger

OpenHands Installation

Docker command in README

OpenHands Version

No response

Operating System

None

Logs, Errors, Screenshots, and Additional Context

No response
@rbren rbren added the bug Something isn't working label Nov 18, 2024
@amanape amanape added the fix-me Attempt to fix this issue with OpenHands label Nov 19, 2024
@github-actions GitHub Actions
Copy link
Contributor

OpenHands started fixing the issue! You can monitor the progress here.

@github-actions GitHub Actions
Copy link
Contributor

A potential fix has been generated and a draft PR #5118 has been created. Please review the changes.

@openhands-agent openhands-agent mentioned this issue Nov 19, 2024
Closed
@neubig neubig added fix-me Attempt to fix this issue with OpenHands and removed fix-me Attempt to fix this issue with OpenHands labels Nov 27, 2024
@github-actions GitHub Actions
Copy link
Contributor

OpenHands started fixing the issue! You can monitor the progress here.

@github-actions GitHub Actions
Copy link
Contributor

A potential fix has been generated and a draft PR #5308 has been created. Please review the changes.

@openhands-agent openhands-agent mentioned this issue Nov 27, 2024
Closed
@mamoodi
Copy link
Collaborator

mamoodi commented Dec 5, 2024

I thought this was resolved at some point but maybe it's a special case?

@mamoodi
Copy link
Collaborator

mamoodi commented Dec 15, 2024

Nevermind. This still happens. As long as you are connected to github, the buttons show. Instead of actually working on a project.

@mamoodi mamoodi added the severity:medium Affecting multiple users label Dec 15, 2024
@mamoodi mamoodi mentioned this issue Dec 20, 2024
Merged
1 task
@mamoodi
Copy link
Collaborator

mamoodi commented Dec 27, 2024

This is resolved on main. Will close when we release.

@mamoodi mamoodi added the awaiting release Fixed in main. Waiting for release. label Dec 27, 2024
@mamoodi
Copy link
Collaborator

mamoodi commented Jan 2, 2025

Fixed in 0.18.0.

@mamoodi mamoodi closed this as completed Jan 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@amanape amanape

Labels
awaiting release Fixed in main. Waiting for release. bug Something isn't working fix-me Attempt to fix this issue with OpenHands severity:medium Affecting multiple users
Projects
None yet
Milestone
No milestone
4 participants
@neubig @rbren @amanape @mamoodi