deleting files that were not deleted in git