Re: Fwd: git rm

On Wed, Jul 06, 2016 at 06:42:19PM +0200, Andreas Schwab wrote:

Peter [off-list ref] writes:

quoted

I am a lightweigt git user so by all means not a reference, but I was
wondering why exactly does "git rm" also delete the file (remove it
from the working tree). I see it as an unintended behaviour as git is
written in a way that it preserves the most data.

The data is still preserved.  You can restore it with "git checkout HEAD
<file>".

Assuming the file is present in HEAD, of course. But if it is not, then
git should (and does) complain and ask for "-f".

-Peff