Really remove the file from repo now and

add it to gitignore.