From: Jeff King <peff@peff.net>
Date: Thu, 07 Jul 2016 03:35:38 GMT
Subject: Re: Fwd: git rm
Message-ID: <20160707033538.GA7595@sigill.intra.peff.net>
In-Reply-To: <87a8hubtw4.fsf@linux-m68k.org>

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

> Peter <peter.mx@gmail.com> writes:
> 
> > 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