Michael Kebe <[email protected]> writes: > 2017-06-27 18:25 GMT+02:00 Junio C Hamano <[email protected]>: >> 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.
