• Show log

    Commit

  • Hash : bb9e3797
    Author : Greg Collinge
    Date : 2017-11-11T17:20:16

    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