I've cloned a remote repository which contains a specific file. This file requires that I edit and keep a version of it which must be different from the one in the remote repository. Now, I need git to ignore this file while still being able to keep the one in the remote repository untouched when I git push the remaining files.
I've added the file to .gitignore and .git/info/exclude but it is still being traced when I run git status. I could simply run git add . and afterwards remove the unwanted file, but this is unpractical and bothersome.
I'm relatively new to git, so I thank you for your time and your patience.
 
    