Re: rm and mv commands: should I use them?

From: Jeff King <peff@peff.net>
Date: Jan 7, 2008, 03:06 UTC
Message-ID: <20080107030642.GA18194@coredump.intra.peff.net>
In-Reply-To: <7v63y62xwj.fsf@gitster.siamese.dyndns.org>

On Sun, Jan 06, 2008 at 06:05:16PM -0800, Junio C Hamano wrote:

Show 14 quoted lines

> Actually, I think I found a bug.
> 
> 	$ git reset --hard
> 	$ echo >>Makefile
>         $ git diff --numstat
>         1	0	Makefile
>         $ git mv Makefile makefile
>         $ git diff
>         $ git diff --cached -M --numstat
>         1	0	Makefile => makefile
> 
> "git mv" should not have staged the change.  It should have
> moved the index entry from Makefile to makefile and moved the
> work tree files.

I thought there was some discussion about this a few months ago, concerning what exactly it should do, and that was how we arrived at the current behavior. However, I can't seem to find it now. Maybe I dreamed it.

-Peff