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

[git] git repo added from the command line is not available from the quick open menu #1549

Closed
elaihau opened this issue Mar 19, 2018 · 3 comments
Labels
git issues related to git

Comments

@elaihau
Copy link
Contributor

elaihau commented Mar 19, 2018

GIT repo added from the command line prompt does not show up in the quick open menu on clicking the "switch git repo" button (from the status bar).

peek 2018-03-19 11-10

@kittaakos
Copy link
Contributor

If that is the case, it is another regression compared to the previous Git discovery behavior.

@kittaakos
Copy link
Contributor

I believe this works as expected. One can refresh the state of the repository provider from the Git View.

screencast 2018-03-19 17-18-36

@elaihau, could you please try the same I have done? If it works for you too, we can close this issue.

@elaihau
Copy link
Contributor Author

elaihau commented Mar 19, 2018

You are right @kittaakos , the refresh button does the magic. I will close this one.

@elaihau elaihau closed this as completed Mar 19, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
git issues related to git
Projects
None yet
Development

No branches or pull requests

2 participants