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. Greetings Michael
