diff options
author | Elijah Newren <newren@gmail.com> | 2021-05-20 06:09:39 +0000 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-05-20 15:40:39 +0900 |
commit | 86b41b389546e68164ed58f6e60297a391cdca83 (patch) | |
tree | 0c87a86036dfb20727d1c0496f66cd42a4727411 /git-instaweb.sh | |
parent | merge-ort: preserve cached renames for the appropriate side (diff) | |
download | tgif-86b41b389546e68164ed58f6e60297a391cdca83.tar.xz |
merge-ort: add helper functions for using cached renames
If we have a usable rename cache, then we can remove from
relevant_sources all the paths that were cached;
diffcore_rename_extended() can then consider an even smaller set of
relevant_sources in its rename detection.
However, when diffcore_rename_extended() is done, we will need to take
the renames it detected and then add back in all the ones we had cached
from before.
Add helper functions for doing these two operations; the next commit
will make use of them.
Signed-off-by: Elijah Newren <newren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-instaweb.sh')
0 files changed, 0 insertions, 0 deletions