merge: reload index before git_merge
If the index in memory is different from the index on the disk, previously merge would abort with GIT_ECONFLICT. Reload the index before merging to fix this. Fixes #4203
Showing
Please
register
or
sign in
to comment