From: Robin Rosenberg Date: Mon, 07 Jan 2008 18:37:38 GMT Subject: Re: rm and mv commands: should I use them? Message-ID: <200801071937.38976.robin.rosenberg.lists@dewire.com> In-Reply-To: <20080107030642.GA18194@coredump.intra.peff.net> måndagen den 7 januari 2008 skrev Jeff King: > On Sun, Jan 06, 2008 at 06:05:16PM -0800, Junio C Hamano wrote: ... > > "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. I had the same dream. -- robin