git-merge documentation: conflicting merge leaves higher stages in index