I want to locally ignore files by file-extensions. The files are tracked in Git but updated frequently on my machine. They should not be tracked by git anymore (so that gi
gi
