Re: On removing files and "git-rm is pointless"

Previous thread: [PATCH]: Pass -M to diff in request-pull by David Miller on Monday, December 4, 2006 - 12:17 am. (4 messages)

Next thread: Re: [PATCH] [checkout-index] Give names to stages by Jakub Narebski on Monday, December 4, 2006 - 4:36 am. (2 messages)
From: Jakub Narebski
Date: Monday, December 4, 2006 - 3:48 am

+1. I'm also for this change. Of course if the working area version doesn't
match HEAD version git-rm should remove only index entry, and print warning
message, for example what it does now, i.e.
  rm '<filename>'
or if we want more chatty version (core.gitgor = true) it would print:
  File '<filename>' changed. Use "rm '<filename>'" to remove.
(or something like that).

-- 
Jakub Narebski
Warsaw, Poland
ShadeHawk on #git


-

Previous thread: [PATCH]: Pass -M to diff in request-pull by David Miller on Monday, December 4, 2006 - 12:17 am. (4 messages)

Next thread: Re: [PATCH] [checkout-index] Give names to stages by Jakub Narebski on Monday, December 4, 2006 - 4:36 am. (2 messages)