Ahh, missed that somebody already suggested it. On Wed, 23 Jul 2008, Ingo Molnar wrote: > > 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 We can probably speed it up, but more importantly, even if we don't, it's slow _once_. It's worth taking a 9s hit, if that means that you can then skip half of the merges entirely, and thus win half of the 53s cost. But I'll look if there's a way to cut it down from 9s. I suspect it has to traverse the whole history to make 100% sure that something isn't merged, but even that should be faster than 9s. Linus -- 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
