removing user-specific dir from .gitignore