Skip to content

Fix git repository not detected if root folder ends in [space]#82038

Merged
joaomoreno merged 1 commit intomicrosoft:masterfrom
jeanp413:fix-81158
Oct 21, 2019
Merged

Fix git repository not detected if root folder ends in [space]#82038
joaomoreno merged 1 commit intomicrosoft:masterfrom
jeanp413:fix-81158

Conversation

@jeanp413
Copy link
Contributor

@jeanp413 jeanp413 commented Oct 7, 2019

Fixes #81158

@joaomoreno joaomoreno self-assigned this Oct 7, 2019
@joaomoreno joaomoreno added the git GIT issues label Oct 7, 2019
@joaomoreno joaomoreno added this to the Backlog milestone Oct 9, 2019
@joaomoreno joaomoreno modified the milestones: Backlog, October 2019 Oct 21, 2019
@joaomoreno joaomoreno merged commit ad9bce8 into microsoft:master Oct 21, 2019
@joaomoreno
Copy link
Member

Thanks! 🍻

@jeanp413 jeanp413 deleted the fix-81158 branch October 21, 2019 14:10
@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.

Git: Repository not detected if root folder ends in [space]

2 participants