]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'rs/oidset-on-khash'
authorJunio C Hamano <gitster@pobox.com>
Fri, 19 Oct 2018 04:34:06 +0000 (13:34 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 19 Oct 2018 04:34:06 +0000 (13:34 +0900)
The oidset API was built on top of the oidmap API which in turn is
on the hashmap API.  Replace the implementation to build on top of
the khash API and gain performance.

* rs/oidset-on-khash:
  oidset: uninline oidset_init()
  oidset: use khash
  khash: factor out kh_release_*
  fetch-pack: load tip_oids eagerly iff needed
  fetch-pack: factor out is_unmatched_ref()


Trivial merge