3 ms·

This is also a bad decision because now you have to tip toe around the modified .gitignore.

• syncsynchalt 4y ago
  You can add it to .git/info/exclude. That's a gitignore that's repo-local.
  • junon 4y ago
    yep, that's the best solution.