Skip to content

Fixes #48714: Added conversion from local case of the file to git case#49397

Merged
joaomoreno merged 1 commit intomicrosoft:masterfrom
alexr00:gitGutter
Jul 6, 2018
Merged

Fixes #48714: Added conversion from local case of the file to git case#49397
joaomoreno merged 1 commit intomicrosoft:masterfrom
alexr00:gitGutter

Conversation

@alexr00
Copy link
Member

@alexr00 alexr00 commented May 7, 2018

This does not fix the view in the Explorer, but this solution should be easy to apply to that issue too. Might also be worth adding a check so this doesn't run on Linux.

…o git case. This does not fix the view in the Explorer, but this solution should be easy to apply to that issue too.
@joaomoreno joaomoreno added this to the Backlog milestone May 8, 2018
@joaomoreno joaomoreno added the git GIT issues label May 8, 2018
@joaomoreno
Copy link
Member

joaomoreno commented Jul 6, 2018

Still had to get some more changes on top... but the idea is good.

Thanks! 🍻

@joaomoreno joaomoreno merged commit 375411e into microsoft:master Jul 6, 2018
@joaomoreno joaomoreno modified the milestones: Backlog, July 2018 Jul 6, 2018
@eclecticjohny
Copy link

This is still happening to me with Windows 10 Enterprise version 1607 and VSCode 1.38.1.
Changing a lowercase folder name to capital or vice-versa does not trigger any Git changes.

@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.

3 participants