deleting a file that was committed before .gitignore was added