On Sun, Dec 30, 2007 at 05:03:32PM +0100, Johannes Schindelin wrote:
On Sun, 30 Dec 2007, Dmitry Potapov wrote:
quoted
How about this:
+ grep '^refs/\([^/]\+/\)\?'"$ref"'$')"
Maybe. I wonder whether just adding a "$" (which I obviously forgot)
would not be enough...
Adding '$' will certainly make things much better, but you will still
have the same problem if you want to filter "master", but you have
"origin/master" in your repo.
Dmitry