On Sun, Dec 30, 2007 at 05:03:32PM +0100, Johannes Schindelin wrote: > > 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... 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 - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
