2b8425307d
it was found that "git clone --depth 1 .." followed by "brew tap.." actually works even if some git index accidently broken