diff options
| author |  René Scharfe <l.s.r@web.de> | 2018-10-04 17:09:39 +0200 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-10-04 11:12:13 -0700 |
| commit | 22a164651114738c723c4459140e1e5330491467 (patch) | |
| tree | be200356f79268fbdadfbef90f89ef1ff29bc359 /Documentation/git-mergetool.txt | |
| parent | fetch-pack: factor out is_unmatched_ref() (diff) | |
| download | tgif-22a164651114738c723c4459140e1e5330491467.tar.xz | |
fetch-pack: load tip_oids eagerly iff needed
tip_oids_contain() lazily loads refs into an oidset at its first call.
It abuses the internal (sub)member .map.tablesize of that oidset to
check if it has done that already.
Determine if the oidset needs to be populated upfront and then do that
instead. This duplicates a loop, but simplifies the existing one by
separating concerns between the two.
Signed-off-by: Rene Scharfe <l.s.r@web.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-mergetool.txt')
0 files changed, 0 insertions, 0 deletions