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

add support for ignored repositories list #46763 #47890

Merged
merged 1 commit into from
Jul 6, 2018

Conversation

avbhatt
Copy link
Contributor

@avbhatt avbhatt commented Apr 15, 2018

Issue #46763
I added a new configuration property that takes in an array of repo path strings and ignores those repositories, if they exist. A reload is required after editing the settings file for the repo to be ignored.

In the example below, I initially have two repositories open: settings and vscode. Changing the ignoreRepositories property to an array containing the path to the settings repo and then reloading causes it to disappear from the sidebar, leaving only the vscode repo. Changing this back to null (or anything else) brings the settings repo back into view.
example

@msftclas
Copy link

msftclas commented Apr 15, 2018

CLA assistant check
All CLA requirements met.

@joaomoreno joaomoreno self-assigned this Apr 16, 2018
@joaomoreno joaomoreno added this to the Backlog milestone Apr 16, 2018
@joaomoreno joaomoreno added the git GIT issues label Jul 6, 2018
@joaomoreno joaomoreno modified the milestones: Backlog, July 2018 Jul 6, 2018
@joaomoreno
Copy link
Member

Thanks! 🍻

@yh-sb
Copy link

yh-sb commented Jun 27, 2019

Hi, could you please add support of relative git.ignoredRepositories path? So it could be possible to add ignored repository in the following way:

"git.ignoredRepositories": ["./openwrt"]
or 
"git.ignoredRepositories": ["${workspaceFolder}/openwrt"]

instead of

"git.ignoredRepositories": ["/home/username/some/absolute/path/openwrt"]

@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 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.

4 participants