Re: Small PR to add a .gitignore