* Junio C Hamano <gitster@xxxxxxxxx> wrote: > Ingo Molnar <mingo@xxxxxxx> writes: > > > 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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
