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: Sort RepositoryPicks to rank active repo first #37030

Merged
merged 1 commit into from
Dec 15, 2017

Conversation

keegancsmith
Copy link
Contributor

When running a git command that requires a repository, a QuickOpen is presented with the open git repositories. This change ensures the repository for the active editor is first in the list.

@joaomoreno joaomoreno added this to the Backlog milestone Oct 27, 2017
@joaomoreno joaomoreno added the git GIT issues label Oct 27, 2017
@keegancsmith
Copy link
Contributor Author

This PR seems related to the open and general issue around ranking #27317 cc @bpasero

@joaomoreno
Copy link
Member

I changed it to simply move the repository which contains the active file to the first position... I don't really think there's any added benefit to sort them by containment. I hope that's still enough for you!

Thanks! 🍻

@joaomoreno joaomoreno modified the milestones: Backlog, December 2017/January 2018 Dec 15, 2017
@joaomoreno joaomoreno merged commit b4d51dc into microsoft:master Dec 15, 2017
@keegancsmith keegancsmith deleted the repo-rank branch December 16, 2017 04:10
@github-actions github-actions bot locked and limited conversation to collaborators Mar 29, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
git GIT issues
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants