hcarty/odb — comment on commit c639f79480e2be74db4ec0f7a321ca630cbe149a
File: odb.ml line 387
By thelema:

May be worth benchmarking on a large list, to see what happens with multiple 1K repos. Or split each repo separately and merge-unique them. I guess that'd be more code though, so at the moment, this isn't a problem.