* Junio C Hamano [off-list ref] wrote:
Ingo Molnar [off-list ref] writes:
quoted
hm, it's very slow:
$ time git branch --no-merged
[...]
real 0m9.177s
user 0m9.027s
sys 0m0.129s
when running it on tip/master:
http://people.redhat.com/mingo/tip.git/README
Hmmm, does not reproduce for me with a copy of that repository.
perhaps you need to run tip-create-local-branches.sh to create all the
local branches? You can find it in:
tip/tip .tip/bin/tip-create-local-branches.sh
(does/should the presence of local branches matter?)
Ingo