tree acb8599602a92beeeeb5f692a0705535d71d44a5
parent aeb582a98374c094361cba1bd756dc6307432c42
author Nguyễn Thái Ngọc Duy <pclouds@gmail.com> 1557396627 +0700
committer Junio C Hamano <gitster@pobox.com> 1557715754 +0900

merge: remove drop_save() in favor of remove_merge_branch_state()

Both remove_branch_state() and drop_save() delete almost the same set of
files about the current merge state. The only difference is MERGE_RR but
it should also be cleaned up after a successful merge, which is what
drop_save() is for.

Make a new function that deletes all merge-related state files and use
it instead of drop_save(). This function will also be used in the next
patch that introduces --quit.

Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>