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.

Sign up for GitHub

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

Jump to bottom

Treat .gitignore_global as an Ignore file by default. #96080

Merged
merged 1 commit into from
Apr 27, 2020
Merged

Treat .gitignore_global as an Ignore file by default. #96080

merged 1 commit into from
Apr 27, 2020

Conversation

johnbillion
Copy link
Contributor

This PR fixes #96079 .

To reproduce:

  1. Create a .gitignore_global file, for example in your home directory as recommended by GitHub.
  2. Open this file in Code and observe that its language mode is not set to Ignore, whereas .gitignore files are.

This PR fixes that.

@joaomoreno joaomoreno added the git GIT issues label Apr 27, 2020
@joaomoreno joaomoreno added this to the April 2020 milestone Apr 27, 2020
@joaomoreno
Copy link
Member

Thanks!

@joaomoreno joaomoreno merged commit 75877c8 into microsoft:master Apr 27, 2020
@github-actions github-actions bot locked and limited conversation to collaborators Jun 11, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees

@joaomoreno joaomoreno

Labels
git GIT issues
Projects
None yet
Milestone
April 2020
Development

Successfully merging this pull request may close these issues.

.gitignore_global should use the Ignore language mode
2 participants
@johnbillion @joaomoreno