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