How do I git rm a file without deleting it from disk?
git, git-rm
Solution
git rm --cached file
should do what you want.
You can read more details at `git help rm`
Problem
The command removes the file in my system. I meant it to remove only the file from Git-repository. How can I remove the file from a Git repository, without removing the file in my system?