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