diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2018-11-12 15:25:58 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-11-13 12:04:00 +0900 |
commit | 85f8d9da2182690461e05034a4a697f766bb8eb1 (patch) | |
tree | 22fa8db06b0a2edab4274d12c6ab73b4395018af /t/t7500 | |
parent | rebase -r: demonstrate bug with conflicting merges (diff) | |
download | tgif-85f8d9da2182690461e05034a4a697f766bb8eb1.tar.xz |
rebase -r: do not write MERGE_HEAD unless needed
When we detect that a `merge` can be skipped because the merged commit
is already an ancestor of HEAD, we do not need to commit, therefore
writing the MERGE_HEAD file is useless.
It is actually worse than useless: a subsequent `git commit` will pick
it up and think that we want to merge that commit, still.
To avoid that, move the code that writes the MERGE_HEAD file to a
location where we already know that the `merge` cannot be skipped.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 't/t7500')
0 files changed, 0 insertions, 0 deletions