Remedying .gitignore problem