smix96·2 years ago·discussTotally correct. Files which are unrelated to the project don't belong in .gitignore.