2017-06-27 18:25 GMT+02:00 Junio C Hamano <gitster@xxxxxxxxx>:
> 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.
Greetings
Michael
