Skip to content

Add support of relative paths for git.ignoredRepositories - #83466

Merged
João Moreno (joaomoreno) merged 2 commits into
microsoft:masterfrom
Wowol:issue-76892
Nov 29, 2019
Merged

Add support of relative paths for git.ignoredRepositories#83466
João Moreno (joaomoreno) merged 2 commits into
microsoft:masterfrom
Wowol:issue-76892

Conversation

@Wowol

Copy link
Copy Markdown
Contributor

This PR fixes #76892

@Wowol

Copy link
Copy Markdown
Contributor Author

João Moreno (@joaomoreno) You were right, converting the path into a URI and then getting its fsPath is breaking path on Linux, so I've removed it. Pull request is ready to be merged now :)

@Wowol

Copy link
Copy Markdown
Contributor Author

João Moreno (@joaomoreno) Is there anything wrong with this PR? I'm not sure why it isn't merged yet, and I don't want conflicts to appear in future due to further changes.
If I can help with something, please let me know.

@joaomoreno

Copy link
Copy Markdown
Contributor

Thanks! 🎆

@joaomoreno
João Moreno (joaomoreno) merged commit 0fb5275 into microsoft:master Nov 29, 2019
@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.

Add support of relative paths for git.ignoredRepositories

2 participants