diff options
author | Derrick Stolee <dstolee@microsoft.com> | 2018-05-01 12:47:15 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-05-22 12:36:34 +0900 |
commit | 819807b33f820dc17d96f043747daf18c5e38516 (patch) | |
tree | a631978767968ce79e76f5937e998f1d8a18d03e /t | |
parent | commit-graph: always load commit-graph information (diff) | |
download | tgif-819807b33f820dc17d96f043747daf18c5e38516.tar.xz |
ref-filter: use generation number for --contains
A commit A can reach a commit B only if the generation number of A
is strictly larger than the generation number of B. This condition
allows significantly short-circuiting commit-graph walks.
Use generation number for '--contains' type queries.
On a copy of the Linux repository where HEAD is contained in v4.13
but no earlier tag, the command 'git tag --contains HEAD' had the
following peformance improvement:
Before: 0.81s
After: 0.04s
Rel %: -95%
Helped-by: Jeff King <peff@peff.net>
Signed-off-by: Derrick Stolee <dstolee@microsoft.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't')
0 files changed, 0 insertions, 0 deletions