Re: [PATCH] git-filter-branch could be confused by similar names
From: Johannes Schindelin <hidden>
Date: 2016-06-15 22:44:02
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