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.