Re: [PATCH,RFC] Implement 'git rm --if-missing'
- From
Petr Baudis <pasky@suse.cz>
- Date
- Jul 16, 2008, 18:06 UTC
- Message-ID
- <20080716180617.GO32184@machine.or.cz>
- In-Reply-To
- <1216231250-21141-1-git-send-email-ciaran.mccreesh@googlemail.com>
Hi,
On Wed, Jul 16, 2008 at 07:00:50PM +0100, Ciaran McCreesh wrote:
> git rm --if-missing will only remove files if they've already been removed from > disk. > > Signed-off-by: Ciaran McCreesh <ciaran.mccreesh@googlemail.com>
what is the usage scenario? The porcelain options space is a precious resource, so please explain why do you need this and who is going to use it (especially with such a long name).
Petr "Pasky" Baudis