Exactly. And not considering that lossage helps us keep our
sanity. I think "git rm --cached" falls into the same
category. If the user wants to discard what is in the index
without losing a copy in the working tree, I think we should let
him do without fuss.
Yes, that is (at least, "used to be") exactly the use case "rm
--cached" is supposed to help. Added something prematurely to
the index, not ready to commit that part of the changes yet.
Of course you could do partial commits with "add --interactive"
these days, so there is not as much need for this as it used to
be anymore.
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html