Subject: Re: [PATCH 2/2] grep: use slash for path delimiter, not colon

From: Johannes Sixt <[email-masked]>
Date: Mon, 26 Aug 2013 22:13:14 +0200

Am 26.08.2013 21:56, schrieb Jeff King:
> Also, prevent the delimiter being added twice, as happens now in these
> examples:
> 
>   git grep -l foo HEAD:
>   HEAD::some/path/to/foo.txt
>        ^

Which one of these two does it print then?

    HEAD:/some/path/to/foo.txt
    HEAD:some/path/to/foo.txt

-- Hannes