Files
git/builtin
Junio C Hamano 49f210fd52 Merge branch 'ds/multi-pack-index'
When there are too many packfiles in a repository (which is not
recommended), looking up an object in these would require
consulting many pack .idx files; a new mechanism to have a single
file that consolidates all of these .idx files is introduced.

* ds/multi-pack-index: (32 commits)
  pack-objects: consider packs in multi-pack-index
  midx: test a few commands that use get_all_packs
  treewide: use get_all_packs
  packfile: add all_packs list
  midx: fix bug that skips midx with alternates
  midx: stop reporting garbage
  midx: mark bad packed objects
  multi-pack-index: store local property
  multi-pack-index: provide more helpful usage info
  midx: clear midx on repack
  packfile: skip loading index if in multi-pack-index
  midx: prevent duplicate packfile loads
  midx: use midx in approximate_object_count
  midx: use existing midx when writing new one
  midx: use midx in abbreviation calculations
  midx: read objects from multi-pack-index
  config: create core.multiPackIndex setting
  midx: write object offsets
  midx: write object id fanout chunk
  midx: write object ids in a chunk
  ...
2018-09-17 13:53:50 -07:00
..
2018-08-20 11:33:53 -07:00
2018-08-13 14:14:43 -07:00
2018-08-20 11:33:53 -07:00
2018-08-20 11:33:53 -07:00
2018-08-27 14:33:43 -07:00
2018-05-13 10:45:05 +09:00
2018-08-20 11:33:53 -07:00
2018-08-15 15:08:23 -07:00
2018-08-20 15:31:40 -07:00
2018-08-17 13:09:56 -07:00
2018-08-15 15:08:23 -07:00
2018-05-08 15:59:16 +09:00
2018-08-15 15:08:23 -07:00
2018-08-20 15:31:40 -07:00
2018-08-20 15:31:40 -07:00
2018-08-20 11:33:53 -07:00
2018-06-01 15:06:37 +09:00
2018-08-15 15:08:23 -07:00
2018-05-23 14:38:15 +09:00
2018-08-15 15:08:23 -07:00
2018-05-30 14:04:05 +09:00
2018-07-18 12:20:28 -07:00
2018-08-20 15:31:40 -07:00
2018-08-27 14:33:43 -07:00
2018-08-27 14:33:43 -07:00
2018-07-18 12:20:28 -07:00
2018-08-27 14:33:43 -07:00
2018-08-15 15:08:23 -07:00
2018-08-20 11:33:53 -07:00
2018-08-27 14:33:43 -07:00
2018-03-15 12:01:08 -07:00
2018-08-17 13:09:56 -07:00
2018-05-29 00:28:22 +09:00
2018-07-18 12:20:28 -07:00
2018-08-20 11:33:53 -07:00
2018-08-17 15:18:01 -07:00