Michael Kebe <michael.k...@gmail.com> writes:
> 2017-06-27 18:25 GMT+02:00 Junio C Hamano <gits...@pobox.com>:
>> Ah, wait, that particular grep may have GNUism. If you changed it
>> to
>>
>> egrep "$tree \((refs/heads/master|HEAD)@{[0-9]*}:" out
>>
>> does it make it pass for you?
>
> Yes, this is working.Thanks.
