Skip to content

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

Merged
joaomoreno merged 1 commit intomicrosoft:masterfrom
johnbillion:fix/gitignore_global
Apr 27, 2020
Merged

Treat .gitignore_global as an Ignore file by default.#96080
joaomoreno merged 1 commit intomicrosoft:masterfrom
johnbillion:fix/gitignore_global

Conversation

@johnbillion
Copy link
Copy Markdown
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
Copy Markdown
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.

Labels

git GIT issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

.gitignore_global should use the Ignore language mode

2 participants