How to exclude file to push? [duplicate]

Question

I have repository with one file with the local settings. I have added it to .gitignore and to .git/info/exclude but it was previously pushed to server and git wants to track them.

How to exclude this file?

Answer 1

you can delete that file from git's index by using git rm <filename> --cached