I often need to remove a file from Git but leave it as is, changed or not.
The only safe way to do that as far as I know is:
$ git rm -f --cached myfile # many thanks to @jast on IRC #git
The "git help rm" command yields copious information but nowhere can I find
a clear statement about safely removing a modified file from Git without
removing it from the file system.
I am going to create an alias to help me, but I believe the brute force
removal should be a different option, say, '-F' ('--Force'), and the
existing '-f' ('--force') ought to be safe operations as far as the file
system is concerned.
Best regards,
-Tom
