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.

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

Remove user-specific values from .gitignore #16

Closed
wants to merge 1 commit into from

Conversation

svenluijten
Copy link
Contributor

This PR removes user-specific values from the .gitignore file. They should be configured per-machine in a global ~/.gitignore file. This ensures the project's .gitignore file only deals with files relevant to the project.

As Sebastian puts it:

My repository doesn't care about your editor configuration.

@simonhamp
Copy link
Owner

I agree with the sentiment, but these files are so common that it makes sense to share them. And even where they're not relevant, we're talking about a few lines in a text file... this isn't breaking the bank

@simonhamp simonhamp closed this Jan 9, 2024
@svenluijten svenluijten deleted the clean-up-gitignore branch January 9, 2024 18:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants