From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 14 Aug 2009 19:52:33 GMT
Subject: Re: [PATCH 1/5] port --ignore-unmatch to "git add"
Message-ID: <7vws56i35q.fsf@alter.siamese.dyndns.org>
In-Reply-To: <200908132306.37947.trast@student.ethz.ch>

Thomas Rast <trast@student.ethz.ch> writes:

> Junio C Hamano wrote:
>> 
>> Chould you refresh my memory a bit?
>> 
>> In what circumstance is "rm --ignore-unmatch" useful to begin with?
>
> Not sure about add --ignore-unmatch myself, but there's even an
> example of rm --ignore-unmatch in man git-filter-branch, along the
> lines of
>
>   git filter-branch --index-filter '
>     rm --ignore-unmach some_file_that_shouldnt_be_in_history
>   ' -- --all

Ah, that makes sense.  I am not sure about "add --ignore-unmatch" myself
either, and an example similar to the above filter-branch would not apply
very easily (i.e. "add a file that should have been in history" would not
need --ignore-unmatch).