From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sun, 30 Dec 2007 16:03:32 GMT
Subject: Re: [PATCH] git-filter-branch could be confused by similar names
Message-ID: <Pine.LNX.4.64.0712301700580.14355@wbgn129.biozentrum.uni-wuerzburg.de>
In-Reply-To: <20071230135428.GW13968@dpotapov.dyndns.org>

Hi,

On Sun, 30 Dec 2007, Dmitry Potapov wrote:

> How about this:
> 
> +			grep '^refs/\([^/]\+/\)\?'"$ref"'$')"

Maybe.  I wonder whether just adding a "$" (which I obviously forgot) 
would not be enough...

Ciao,
Dscho