Why is this in the repository? Does it need to be included in the .gitignore file?