In Git, in order to delete it from the tree, but NOT from the working directory, which I think is what you want, you can use the –cached flag, that is:
git rm --cached <filename>
In Git, in order to delete it from the tree, but NOT from the working directory, which I think is what you want, you can use the –cached flag, that is:
git rm --cached <filename>