diff options
author | Jeff King <peff@peff.net> | 2018-11-02 02:36:36 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-11-05 13:14:35 +0900 |
commit | b135739125e9dc49fafc42d4a8a1956c46329ff1 (patch) | |
tree | b851e900bb4f33f6e9f91a14fc938fc167a0fb13 /contrib/git-shell-commands | |
parent | diff: avoid generating unused hunk header lines (diff) | |
download | tgif-b135739125e9dc49fafc42d4a8a1956c46329ff1.tar.xz |
diff: discard hunk headers for patch-ids earlier
We do not include hunk header lines when computing patch-ids, since
the line numbers would create false negatives. Rather than detect and
skip them in our line callback, we can simply tell xdiff to avoid
generating them.
This is similar to the previous commit, but split out because it
actually requires modifying the matching line callback.
Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/git-shell-commands')
0 files changed, 0 insertions, 0 deletions