Fix .gitignore

This should make the branch mergeable.