Re: [PATCH] git-filter-branch could be confused by similar names
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Dec 30, 2007, 16:03 UTC
- 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