delete files in github but in .gitignore