Sidenote: you can ignore platform-wide artifacts like this one with a [global `.gitignore` file](https://help.github.com/articles/ignoring-files#create-a-global-gitignore).