Michael Kebe <michael.kebe@xxxxxxxxx> writes: > 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. Thanks.