There is a project-global [.gitignore](https://github.com/LearnLib/learnlib/blob/develop/.gitignore). However, I do not think that it is a good idea to globally ignore folders with relatively generic names like `target` and `bin`, especially since ignores, once set, cannot be overriden in subdirectory `.gitignore`s