proj: modifying .gitignore